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 %1 $\ ]]HereditarilyFinite:threads=2elapsed=16.394cpu=26.368gc=0.920factor=1.617zXZִF! U]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7WZ1 XW笸eWxxYBv0] j$q  ff/{iy Jd~#m fx*Ef7BI|]v_| \-CUoDZbuǼW .l,[ >`&zn)P=1VGBƻ]mv#V  ÒQ'4"GlT>iD<^21Oݽ= 9 9@bz ўkjg0@D mջmđ;6w^tJʼFLPo|c;Z=q;j6OOPgpJ1| !z}AG l }:_奻4YHiRgYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{'K/&P+)I#+t dZwA_6V qd}%9viC'=<|X$=IERS]V._T!gDz_6Ž+PݧNgYZ7zXZִF! `~]ŗXi%>ghէv xI"*UP 7 2'eCg.2Lv)z*0ce +d[9rh 4}UiT) fx\8Da;bs_p -.qwDCZI/idтr9t H=TٖGo;)7J.*hB,a<ǿ/w`V=_AjT,Pzx1\{GKZЏ䒒ˇm"h/,3nQSjx7h'dc1%R)n{P+!+AolV +(Wew G 1p.VՅb6)wS+] Q$bClә.ѥ{,ݝ˹ 7⡖ˆQ@V蜁հOWG2Z]5~栢,ABH* *mL@0m]b\>YqBbS&FY bA3sfOw&zbQьB]jRMx/#L:Aba"=eP9 HqoU18R$rCk cY'%gb8k.~WM%2|"u.yU| 2ⵔMX9%.I%#k N^RB'mAZ-ϺeWkhl!ϞiEY78VU9K/=swTD&lej4Lo_JM~Zc5|~4o'\K9ʮn(pEacY<`=_ig_L:XƠM}UNa F{b?=,vDʡJUI9}"UQ?SR=5I&._-4s)P.B1jGl'>p 2H^= \gYZ01acf6b81df20d56683dc99d55c3955cd4433fef665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b6ac5a040afe009952031209edf38598a652f3d41 1 HereditarilyFinite