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 f? L4 ]]HOL-Computational_Algebra:threads=6elapsed=31.320cpu=99.280gc=4.316factor=3.177zXZִF! 00]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(7ڡynA"H>OX*.pmąf}*{LC}b n"lڠVg]WO8s? l(>ɍ#qHeֹ42('8n|ۮn9Qe&ק+ Xg ul&١/cN۫IZmE7O_mO_!,`"_{kp7j41@-q~zz iU3Ίě ? HOL-Computational_AlgebraClNOC1BF VLE ٲkaLaUvLwU؟bg}A+!gTA]'HEJǤC=\;ΓyoA9~ J ElPcsrhxr0ͪ*9sȨ,"lUcIlPUdŽra+U-c8P@8G`>>mʈNICP]ș!NϮ 74k9ā,o갼]֖nx7V! Pzbf&~A&uǂz]6%R2 B;- Y;T?NZN4uPӊm`Ȼ~?-8C fE AHgيud`_'Ku9KODgwjj;8WS. s r-iAwk,KQe2Qy2P x3OcW&?#c M#yWtJ- G51'š6 4=ߕBMU) IAI۩gMg5d F-&?<$DKjJB6p؏vR s^e,^`gxQl" +V#кс>5hdu]M?#d6LœDz;1Y{bjcב ǯ:𦷃8^Kk%׹4te:Ft ,u߳X899`dJixORe(xB8r&+S0AYj缓84"tKֶU>AOb+FI, E>=o6<e:8`h虎mg/Y*9vHݜ%Q <ܞ e2;-ڹ[_WI`Ќ1л=ŒyzEZ6wD. Q b6̉>eҴ\/sZb̀ o#1 h!;}\v7)}ԣl+pNMƑ- bb*K@Ү= h$;h4NL,o9&žARDVM>• BΘWR` cϹ+f3|OGGPǸ@ԐJ# #QA1{TjƬrB?@Z"Mpiy,7:cu6|*55 l3ʭ]u, XЕu<|&tn\7s#bNeVˀ @?9ޖ+96tܖ)̾9# 楼5/rHq6YY{5 8 :ރ ӗ6˵1]w4OLA7'>`{6 s!#rmW452q%{}RAN2>Ab)pes3tkRbv XX8 IsI$1bN'E4g]<eo݈Fij'(3\GC[֖]:=l%z<29S7c6>Ha3$F1h:z]+{gxPgmjL/aƹIye>5tD +ge1>LR}ji knNcإ18!}sv yaY> p ' Jju]/c U1uG)(vrȶba61WH% =|kxb$Cw"K,R-ޞ4s