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 . TT ]S Lp:threads=4elapsed=25.217cpu=78.936gc=1.344factor=3.137zXZִF! &#]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tszTM!IK?d$3TN!'W\MNiٻk 1 `/' 1%, Mvk'1͞W#^zdj 5 t;/LGO\y"uFX'jj.LXb\>ι:q[C6n/UQYw[+d+l c<-y"^CRb;Y /g_с.s<<֧  Lp  A4G߼QRcUYַ䃵ڈx}qC KT$ۑ1/e/֛E;D?rvg>?IzN2}ͺ*O MaJ^\qhCcs%ߢm :I̅ ކU&%مcY+n>#DԲDB(}Ӗ|%@' 4=s-Ne琕ZxF2<X37. 2 ; qh^hq.1ħ^>77G '%eAw@2+o; +CPx4%LΌ(~|lM5`=iRpI䦁^J{W ml}F-Uhd#j߱o&%.7Ca K3iB1~7 h\uټ8?19hcYCX,emBdJt 2XЗi֥ò%\U&˘fD/a eG].v gK {ovy'7jĎ>cՁ`8hJ^/~V^a\;Z }rN`-`arZOQ@$Nf8JBⒶ@#B(EjTъ0TA L{YMU}Q[_RG`m{YMagYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qyKzL y+ͅf=/wl,nSМ&C26LDAXR]dT[|Y'qkE1 BGgYZ7zXZִF!  ]ŗXi%G>/ 11 bۭ,+ievp *> '39ڎ̀y"Ou[ "V~ ?8(Dt0^t ~j>Zj[de\ qjC!a@ЫA|9@| 3یf,#D`͏u…<0U hM& ͸?tf9qe |K`kIT6&6W".)%]C?X6 %X1,u#=# M'Ї/ ]W¸C!MO|b0V{Tr=/!)^>1ꓥP]5fD`_y񀕈>T5q]9ާx,`DL\fį!qLh_ Ī%eʽǪ{=t9Y%DR5hUEzꎩxDW=o} 4+4=}}kyѲTҔPXJWcǗ bTmrM5LC0W`qni,R{"\Jn _{M3͖`gm_]jӠH 07+lHH75$O?3-~=^8c-#-g}!@ݵ0BzՄZ[ap>\i': Iu#cQݏ G8|6J (z?y4D<mԩ.mQ3z>s, oO<õqʼ pW4iVE-3!w/r-APyTke-Hx Zhcl3(uv )w/~2i4f]-¯Qv: U2/YTx5ӢĀOAV'jk{(0a ib6^x8iZU!}6P;.M #"A ~^: [Iv}xH-ZEUWz+$JnR߅@dKjQ\C N&kNTNiuL]RY1ȌÕ{G@9*U- [hZˁl[\Tc ݸps縁F'?RiitL37oEG`ʰMB7ɍNɧ- gP&mܯ!!@MohG1i)H:Ui{;+v8vS!˔$h7EdAM$JaR(!e*2fY)lGW49%g.e]Oxw桒>?d)#}jKhGsf]d>_X@p<;\jzPHòMu1Wd/bnxLv{co͔ڞ̫m}eE_{ n F=pSqc[qM~j#g_CykKpU>;)9Hh|y2(U7}KWS!K7p }'D*wd$ ɲPY&ػ|d̥ﶁO8/5)[ɗV?tPLG!,@&Rt[$t]?ոhav5^Q6=Xa_࿏H6 ZUd^(+|R5a*koFaF[i9 "gء5a=C"թ:VSb¶e_iD'{1U10_&eԝD'Ί$ߨ SQ(ӯ 53%&gm] MU]ond0--rs?6z %C>