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 PP-1 T4 / Recursion-Theory-I:threads=2elapsed=16.724cpu=29.608gc=1.152factor=1.777zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCN D|I P)dwgYDcLO[jq*U91&z']Zr 0ct47ٶ*굽*/ cV>T#OkWTJm`3rGd^3yPmTeO5{oHB%:xBn!Ǟd$J(@[H/RZ]*X|#Wjsv k; _:f>tT}vFGZխ5ִzT8^.1/ WcQŨ_ȳP嫸<--S<5ekL;,S={NKWvЙH'QMekY\; 3 唏\w<OTRs4Cn5'B 1".Zͭi0qGª$趉g/62lC ØլНc<9dy'|WJH@+T)vďQ1s3NɼR1cdb66R4t9䊿 dc|<6D&۶⤄EkiR+W>URZ3ubd 0ާcXq&:~3@f6|ޝ]쩀'2hq&!?٫PB:^Gc |ϕB'sNͷuaPEgC]# {X׶ F>'`R/^Wv@$WY xt~z@ Lv keJ+GCĪu|8 ~/ wSnZdE>߈eCJ 2_h33x4]c[0-#OEnEj$I'Q׶*j(+!V[়z =| ~Yp򑸯a_!4v='mcE4Pnͫc'/Zdj.WijM"@ܪ{C[\|e?A~X'0A<TS+CY@;05Wof, r~lyĶg̘GD.8ʼnmo9m=@' Bz]QN PN|K+0 59gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b8554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 1 Recursion-Theory-I