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   Z+ lL ] LightweightJava:threads=2elapsed=54.818cpu=82.936gc=3.492factor=1.517zXZִF! K]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷ogHznF_XsVWxq$a勒6^G:aє"*1 \e*L| D[_>5>ln%* sQ$**a<^217.%ݾV H[W"/ ({=xg, Mr_C XYKNgTȵCG *Mt1XvQ01jWy u67XCi% rK$fid:bimթ䌇׷e Q,߈ 2l`'-m!/eeaW%&O{kz=6&Z[v6X"0U{]wmopTRU' h̵,YO†hFp'!Ek TD+8 *'=G;{*+vChgb7ƚ{F;JҗdJH[/~)fKn]xY + LightweightJava  L& KM((/t[EKɏAtŸT_s{RLe7e4#%iBc=ie$ITWfMuavTwp :ރI@Uf"8ƿ_Ɩx >< p84Ͱ?Еԃ[zPX}XƉV QX"EyliCD)A:+NC8^쇩&0\Rё nJ€8C6ꪺZ2ԎɄq@ŧl_K-s9\qdacb*}25wI<099hd R^0qkĔ믠jBL,UU[^OEh.UJŨ91MAH* n~- K]Gڬ7~e9QWϹnc T7T$y 栽$[a(h[M  8&$ N\$o2/Ivk}nrgYZ7zXZִF!  ]ŗXi%;C`x nr(wh`1Q$~><<.u E[/=OE)Ҩ%H1F1[(ݸ/o 9!D&HE{wLc@,!~ LxY 1=i! (]txSJ\Ѐb՘7F1.ehE6s! `o2߱+2љDˎP(Bf|Ტآx'c=$1~"-}mX̏f_Up^L1@P`Ϣb FLS|XAZGt:iň=)axС⾈$H1go,qwʢp^j[f>Jxֆo=tCf nANjwb{S= s*vLy`@v!!6Op~߭kb^(տzego".IGUu7 }i֦0y`x$ 8QT4Xn{"$  Wݤe]8}?Kq"t{kO0P*2nu}~+ˣلlqw;} _Al1E-TOdq͠ J!0eez\,-9Xpq~D_|flBV"4t!%/6w.OǑg[/h+GOub,,LrH uxϐIa3сCJۋ!'@YK\|DG⠲\ܑ>'! I'D`r zՇ4k-}م3^oz*7m-Z ,,c8r"T?c|blsvPnǓzIHjCҷɈXw\nZeD߳O4Y,c ,af&N{vupDF) I3G zr)}K?S̰?^`nW%'($vALގ^,0@'-Zg0#V/x4pDbnqĆ<ߋfx.{5JkvZ O[trB~a)AAV&w7}PIX~,݉DrZbR1ߊ X* 38ߖkvW_n'ĥ}{x'kC|2k~01vJi^`B݈moj~d>,9rjKᰌՁSfـ9qR6S _^panOG}ߒX 4Gƒ%G!%2z:=o#؇Ⱦh*nwOwmR]ڌ0