SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 JJ3) |\ ]/ Pop_Refinement:threads=2elapsed=8.217cpu=15.616gc=0.780factor=1.907zXZִF! rx]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&9GOF4+ _GxFΪ9TJN:ykDXK")5D-ڧ./)g6۔kET2l 1'M'-4IqGNn֚II8IVlYP .rv-GpR@3n?3@ޛZ^#k7@dWؐ/,bW$DL)gRG@I"|q@)BFqlߥ} n׺>=@pTM\DӜzgYZ7zXZִF! ]ŗXiɟˏa)<7~h?odx9R#7XWNcr%߯SFelFqO`-n"ۡإ 7dpqbp~ JzgYZ7zXZִF! 9]ŗXi%;3 2.=3إ`?uu.\EOs28n&sIг̻j~4fu=ps?K*.K4UƶT"LXh le䨭SS(Ѥf +/K: ~򀻘_ Ol/?B0Sh!MEՓVqW @W3 ZI OY*9Q d3o:}Y[ ԒA`ߴO !D[ > 8;Ho" `n' CdA9_t{{`>$h m^CZޤ)lEٲNAD+9 w(ɩ!ԒwK+r꺒MbdIk~íQ⭋>"<>ܘ|:Қ3%HMRlQa*O$ @%[s)l dYvy$x)%R,\/I-ě u [J_۟7B,C]VL[ gIMc=6pBR`6WG瞸J^:S# xDSHrjNSrG`!!34Ejd S0$15<oOf {)Wzq.`1&\##j!4ce6 }A2 fc͙W|n4ϥ,ʂ@rXP$gmĊTC\<Ҽ`} ZŸrTݸ^B 49QEi{h* 8AZX3z]r,[$"u븽b_o'(:6^4TuwȠUxX#cbV #UlZr)VPY]Taz6l!6=nQ@/1|x~3