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 eeI  ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.656cpu=23.980gc=0.340factor=1.167zXZִF! 7]ŗXf1-/6vR[l>ۋZKY3;LBc<'7*HJ)lV(3(eh=IT /d}B ex}~k "z&SKl 8%~-T*w\4KlR3 S9-2' æ @ٴtM065=B䇆NMw9YJ/ Uĵ{?UJcFIIU6tTؙXJak0"pPAL')[mOUBm݂7l/yJs Lc%M#~& &'`uCA%o kQUרR識E Oqo9+{Ctc͢ܔS97|s$fd^10'd#7y iTƿ̙~|JV`UH<ASE$$ BcLؐ/x嗥|pEVFrf +lNcF?[I09ckgP0&!,&BV$ofE<3y=x&r싮 P5U#/$-%?Rqh w\:QKU/T5.Ist܆c$pu{$oꇶgYZ7zXZִF! ny]ŗXi%s ͻ_ 7)x.GКӅGZeAC{Ǟψv8Gqو0piqĬ)VЅ+lҙճhJ@<+G9wms@۞~EUc+`ٓC?Q/ifbȿ ~kԱ|?n6Ry{Q~^Ew`WBn 0#V0 ]I66I \}i||F+沖FGRh0 z:1-2vn`zZ?Qqkr0mf?6\YSTxue:aoTqi~]b1x릕^%QUTyx\W`.LE쳶f{5-RQ%5 `&J}V]ڕiV%<BЫ]Xĥ\r8΁Dhj$/h-h1zi1g=@j%kjvH (^@MIf=7H~$Lbt1,h-']ꅤC]/Mõqt#)Nr)9(|tJIքW!>'\풡SpTgNh.qHJQ 0hDAo3kV. *:\pɁnzút´xžJ{.>=&.}V*M1:赒T 1O;2$+pO5cageG`T]($G}yzs_m'h> z!e?H9L|\wj>f8e aPm[]30d>9 ~eW vyC=UE|ԬxsX (ʗ2rA@H;/#!-#=[I§sf`TE1ۉㅤ'Y]1f ?J~4Hgjv/>g]1.#AOaV>n'⹆4l; _p X[l[PZ\ɬnw:GYN>دMZHW ^<wOMn]5:B]45?5kDs=4i XUֈ ,3떔 $7VX':n$DXE(ztL(O8Aڳ\MZ,E@]%2jG*ȍ :G$Sht5r