SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  |Tl ] ZF-UNITY:threads=6elapsed=6.315cpu=32.716gc=1.296factor=5.187zXZִF! .]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 S#5ƞ.0\1w_6v_pOٳe[?_;a Rj%B!n9:`_)^7FgqC 0EQi6Yn4ڌ" rrz_YyCཱྀժ "{N9g0بu0i%-nm(A~k8"bݞyX}.CT= 9si e $yv2KGz68q$KV o5fϫ0 aS]Vp(.i;76^P:3$ykg_=Muz*C l2J}釹})DET/H'b :*Ww?\sMr;P ̥&j@#e4*vkYFWOmW޷zM+c띹Ud0`.4BLu'Ս >S]#JjRsA p0(s/f˶Z)5̂wYnCH3#ޘ+i }?B=\ydBDU-<ҩ7`m2jG^ۄ1_i:x9d9kRFe %ßeqcw8`d 0D,Gh?i<(!`7H6%{*B^gYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP78)@{=0;8lM{]Ðl~ gt 6˝"'L+@;)/-\ CG#W-Ģ[Ho +e-7Y T1PZF&gGG5|j&r xdb)aHm׈zhHؚqBgm@i^(rW/+)ڊk3=ܮCȲ ,#S˕>V@/IDɁ녬eu:WJpwW+)e\_NVʿ)&G[Xi  bB gYZ7zXZִF! '-0]ŗXi%E^Ti!g^gك_L/,&uTf*dWŚr 缴|dBL,1=HSqի2f?(5h3TtƣOjsH#b躦}sTBU!;.ԂVE̕Z84$9i= C,h"ݺҗ8!2𛻺Sp1ayBKxvx'OQY+;MiR מ/L,1vd3l]NK.ڄ3O3)v6W: )[ i8UcfYA~験@wL [j.OI59>Mb ;˲d.ɧ%0F >>x%j4oF5qB-rΒbo`c'~“` dW{m5B̘3QL4E allsX6eH W* p@O/[n&[_C4`"fW~=4))F\A{sՄlҵ\|*i *ϫ謅sq6Ko[Kgb'ZLbЧ*f 4_,|$e'^4Jtfcڙ3o q+arăY@ˏ40Ż. 4_Mp?*4͆1p^HtPY4b9|~hU1߾YN/BgYZ53e94f38765d4e11fd45062a95df75f7c4ea199c97d0ac0823a94d13ffe050d721376d08c2de50b1 c1fc261de6727eb3ba387263038255436df5188d 31099ec28868d895b07189c165c62bfba93b7050   ZF-UNITY