SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 BB;7 ]uK-j(%g3Ҝie`*:j1 /<-{Xb&sEg|; 1V)ȋF?6<9zH,||DH7O%4BIU1$)h0?ü=Z5zڒcWEW'E,_DgYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luS[e-H2Bz*3ikb!L_NѴl+h=bA/6wp?q[z yuc th_ޣLd<25B)SzNM$|;&jO3*0+.λnwF"ĪvVgYZ7zXZִF! 6~]ŗXi%9*]ޘGC0j](kW; ZGK&ZPβ$!?"X;#z"Sc("*|)19w6+<>d-os tuՔۣRMI,Ḩt'5NO_'nV w9lVGZy( vM;>as ?J^;>t#NU:?ɕ;rj8z e+Oe >wDoc'KBbL$?ڑ* sAL~WgGpFs_˩8F v߸abugQ5L?hr͂x\e7pW1A"cɀ@'Bvb?GGسe8_N0S9)*vVYȼ?L"l:gQqĥDZP~06ꆧ׏v 5X1 W-4tcW jT` ynŝš N-ňO &5X }H9ohnuƶL^/yD|}ubRBL`8IhmE;BUDxd Dp$%q1S$Ÿ˖)>[n/(wYu)3urlկ[9Z3{6RhMjwQXH+&- Z9A."xat1MT w;Dο2}ZF־܂(Y'H{;#Y!&pQKMбy&]rs?mzo\<{J<C]înډ,lKwDgYZe7c7c1d4136523552dd8b87f568a9efb6f41acd5325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 7 First_Welfare_Theorem