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 \$ / Recursion-Theory-I:threads=2elapsed=15.108cpu=28.968gc=1.276factor=1.927zXZִF! _']ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCҘ]Խ9~fjV_A)l&T)7P^_ .c`K?`zd-*hTO#m-}E GZp҆=i<f! {NK$aOӥf?2Ҵtj^]/ND#| SR蕵E3XH7朎_Q[Qz mN!Mu(|?wʞbM+W.p.#h\]f>1ZUkVfGCO0>,z4ƙFUlv q㟾_fv\Y$kQ';|%d0ʦfɛUdPeۀX,xZQ[Ѱ@D'_|{ya`BO\cvy1BC~UFc /ϫKy@eي D`@ɝ o*(_fćy2An-gQeܘnd8 rz0ΐSq[6 7FI@ٚUVAV=\Vs~M{RY9`:itpeV4itGko(P͈:!iQrKU@a`^ F|QCҺN Btӷ3eN&P*@ dJ+lC?_ wX$Aa#!l=qx~(u婡v_ $c9jN Tq`&*a Z 63zB/ :tj` nfW8Ã)$_/.I\9sLzw(ޕYM/3~̄8ܳSi60 B.+=ɻ 3*UP'M\i!,F_d3CČԯ@q9j6ӺWm',/0&G kk7 vJw }[nHTֈ[ 2H-LKcW 򫖠+" EeP+fCc@y!#P`N׷Jܫ}]ŋQ<0(sodZ9ˡ`^` [I3xԞQ~ef[1q]ESsua%= bcrQ n  QN9i0xmF ѻ"?yMug,iwh cp|.>1ZP!vBr2vķg0s<89-,zk)Mn7';%P u xUek,XM>vD9`D tQqջWi\e),:2fӨ$>m"@{lϑr;gYZ7zXZִF! Y\ ]ŗXi%s Zd8h\_g.YY7 ׼6H ]? =m~U1Ʈy! -0qxM=FT;)> 'rCz@l]ωA6/zB[] V*qqdt oE808bG#_Jd^c]Ӌ9pǚc\ߡKMdBy7?9M6.{BRU&~O?_XLTafh~]rhpBW;x>({cQq[ )uL} ҀE?D pccC5;nleOV#x*Q:0z0+!ro{ed!Xu7m/-"?rHַsZ}i/;G'l+~ҨF&13rq9 u2 ILsBd @ ћ-)aҲa^T4>c(~0. 8dm/nKA`;`!=h; 9FR3a8<ؼ3MUnu Ja`de[M_^v/*I?*Cx䫘gՑD H6iѐxSmGdO+b."2qBDx{>*%|\>IqmZj%^Ɨ{;'<%L Z˴l*HD#?-*\PTS[s!/6벗z#UsƱa;شZILH]J_4~_}9+{qz-X9v:$d`RSEO{QYZ>LrԐ=]z9Oqfhk5zHi_Z#'7=QdEx|f%+"[K< T\=l'0$ojRp8M`5o JDwS4PNL'E6:kkD5hMJLn=ub0Z22P0)?PT+"gWF WzN;˓bW?<D25Mx!Is?"B[Sf]'f>,xL#I4[!OsިjOy3yCJ>Fi C0QPwl&OY}IOsi5}W(޸}ceZѼt -? = 1BPb&&dU$0RMa+pPAVods ݲQgYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b89711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 1 Recursion-Theory-I