SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \% <$ %/ FOL_Harrison:threads=2elapsed=11.037cpu=18.620gc=0.560factor=1.697zXZִF! %V]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5B#i\wCcdPL"ey`]`A&тŃ@(a=5&%-3A J=7n;U1is.*qgַ~SJa*$P$]4zz=5(W7rsAjw % FOL_HarrisonIWp6rhܾgb_tUeN<|PsS#>b!5k ?eO7㲑ˈu0DcOש(|.DaݭhP=ZRާG@5i1+9Ifʊ{+L^s'lp\I2LFcz…h !֘Ay =8_?lS}12w%RerOMuH7XvRWhs,7ht ~Qēժ[ƴdyf8B4V2.& WiZ(dXCa*I`wɑFi_M&%U"wjFc[Ǖ%G_t;jf _tшPFtN(x Sx`_ƚ0"W⾁g:@lR3VYv ЕG|:.@G,3h]y B }ƌ=JF;]n VyQV ʻ=Q41JsLzBy;WGJQ0B+𢆁^|V2R>iǬD=G RTň!Ѩ (.`{.'t  Du7#c)P!^QˍzBoI(ꡳ/˄+Mx7޼b'R5@ %" 977ՋsAq^3Y23IQcG+,Ĩt!' 467sh~(3c ?/eABSjF#{6@whOXd1 աf3XY9mMCoS#Ͷ>:p 艜 i_NLb»@A\@?ҕPsRM0Dui~TXCK~]gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e ba2574c6493c1ac6fb82c6ddf82a2e881a7827c8 daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031ccd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295