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  1 L| / Recursion-Theory-I:threads=2elapsed=17.517cpu=31.056gc=1.296factor=1.777zXZִF! B]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCϯ$| CWH2Y$RɌz^)Cdl_>isYHBK,3SvW~*Ӫ;0cܥST͒nm=Y߿u d7U,b5]|by۹dt>:UtھPc0eexX"1 zBژDa޳׳$^QZ;%܌4q0nWg(҆|GOBMu9!jwQ'D}Gwx-N/4(/@`zƢSXN1׭'hhmyo)QbΦ)В:C]\DEl {!A<QLYh6HvaD2L;p#uY^ Oܚ6XM & !ñgYZ7zXZִF! e&5]ŗXi%6xo\ L~U!w \1fSY|IHDא+ pΨk0/@:&j @?uH*޳ܥYӇѶ^ I 2EwP:<21`'jޥ yU q/|7k'N#fZ"ʗf[v *5mLvmEsFN;Bv`]SwXjs^y{]RGMA/Aqѹ$Yn:G`2;!Yme=xg}&.r 3REQ3 \g>u*zU^P"|9j=v[i b ع * E)$ Bi8-)ȼmjM;ULhd) l`h3dWxmkUH+DC#W }FsQhvg/lWK!R/i zm3㱽[ҡ2+ 4p9uc GWom}⬷vm@~%ěQE^=4|=[Ngd#s-»ŷ!>*NQ$V6۹e0Nyޝ]$`}KE$'s< -k.̪fgljw&p wR`>~,Nc0 w9͎M| EZ81u}t]SvV=Y, C̘T`$V7FԵWNDc/[ [A;xd!4gv3i?'4Ies@3(N-W܉睨G;戳Wfkh1f>-Jiր0_&dX ;y)H 7;ԸA@V!YQKK/R_0>) ߕj5m^ƢϽ_5Q:7}eR[mcR7f}:o gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 1 Recursion-Theory-I