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 DD91 $| / Recursion-Theory-I:threads=2elapsed=16.190cpu=30.192gc=1.348factor=1.867zXZִF! d$I]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWS0hHk+mAje. ;ۦs}4dϟĜ++H+Ect95E0 B)֖^&<@lcU1sk[k']~^2Ť<ݓ|>E#r'wvb.W4-#ð|<|* -Cedzοm-.?YV)5ãVc bƆkqr`e]mGa\bsh-kH )mWEwSu$qܒe]*#i!2r(@tPowzhI ] Z8LUx4c"`Λ' u? Z8GH;e;϶TarWwqA& YFN,&YΙS6 %݄>[FNuC6[m=i+9ОOs5Ms#Z-ie| !U:zOZiO)̮l6mgR<2Qhc.B`5e$zX~n;ZqD }F^OuFF&>ׯB~S]soeS VlErB y:}|u{4Xﯭ¾A<ĠaɃ€u t3 vO=BG2O 2^90 ^9}aTJ,voatd6nK fI{}(4'&g/&7?s`*#ڣ.Hө ˷ &r%~ 0I#gO~g!lz܊yUNGHrص̮͗xJx^lg]RHh_Rr'i`-?Vh6mKq+wi *kiJ$+ޯ(EnRdh9lısMO_xÆhufVK2gu{A Yx8LcWQl3v0Q'-3gGDQ3ܟG_'ədc+6m#^Ad߭}] Db~CO|M4=8LPn AĚҝOd.ꚸftX$rqunҋz ?9T5ՒI7(:O_7n(^^ ;~ד}E;)&w3-cJIXO NVǾ9S6WbxZ ?={څ_/+Hܲ';(/&?4|g dE=T`|w&A)Rm ul3"g=<[v6N@mFq Q Sb/ L|,D7lk1KY+~gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b89711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 1 Recursion-Theory-I