SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R1 l m/ Tree_Decomposition:threads=2elapsed=8.076cpu=13.576gc=0.416factor=1.687zXZִF! c@]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(es^wfZc c J6G/ rڍ!J8QhƁNpsX൥j͸c.Qۡj^[ kbCuGn nz$zҘfˀ523p3+#jkeCl<{%ː 'ϱg2i:hJZ<5|8Eg K:_Nzfh&ű5)R @ .RgYZ7zXZִF! 19o]ŗXi%}NZC0{[,jLCa3/Krb)"6vyBB!3֯T#8e&]WpYm^ͻȿr砑9)~R!Rrv i?u?dՐ/lF2S(Q|s(k_l50<>@k?sdg}Dө͔449D Vf`o_x;Lm?TQ3c>XoܨܨpԽ3D" E=<=wp٘a:T- ?R>o3npyW<_ F A#ŧ vӊFe<}>,Uݸ\Z~FЪ{LZ|_%#zehΩ5񂓷 3^LL[ J;%muK'*%AωAP4Wq*iν0Ń^bZ+sI] >eƣ9%ZXWpq/Ooh$I=W$\ ZExh]zTη>-ݴvG gY#}TZW$V :aX(=дP\]~sb))4(;tR6ڇI 9UP3>:~'^el%tEgߐm3Tx JU` x\igNU2:n5UJ}l@_;bߪ_&+1U8 P6BkYͭFlY6͋fz9)ԯ/9yX}$b'5퇛|}` ??v]wa(bf]