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 GG6 LT| ] ZF-UNITY:threads=6elapsed=5.913cpu=31.276gc=1.380factor=5.297zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮEUd}7}Ɠ~}]m1/:ğ8?!|}9!qT .j̄q!/M =Cq'咔uv26:a ꙑӳX<-WР윺#HE,-]$.Dc(E@s2_O|f׹ǜ\W@.SYPL (6ٷR{@?lkFredv++T&6, F1rR]{Lu} QZ $_@DֲIֲufPʃ{E(* w[Td Z_#}F]n&`R! QY!Vw@ouF@ ;~{|`҆fhfVN*&C8$CDv3:#*'#%Xcv *o3&*2`tWON*֕a'"J@ G`vvʪ5YVJL`Pt0ݨp95=gc>Ci4TFqqsI FQm?+ `\^榇ʣ=<ɯJ,'z[gYZ7zXZִF! ha]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&}rxhJ6xrÿ63ڢ`GFSz;q-0-TX:݄nK_Aˆlmu*^VCTc 2L1\3df5pXw%5g|$ GcLSOdJ~/8Uqn(yxjz-Xpa P^eAͭK0}tKَ_1,.O,=TtO&yD=$M"J'š"CUfwH]yl"5ocgrhMFNQl`{ZotAŤAJ| ygYZ7zXZִF! $L]ŗXi%GfͤGFmd .g(z0 X Z S^%_ҒS2 Imٟ̥KY&Ul?Voui]C$u9ql'(7טG{Y=yFpl˷:?Aۤ5Nx7炆&r4?CYZ)cռu$PĐ 3FeM,M4k'~l?=A"N O - rXUv"6b2O #]Fz7q& i<*sEx?cOňp1Z(JR*mh0eÀf#p@tlt39_Q4BWZx)AIn{Hs@l㣾~2D:drp)0x u*nAV%a5d$)M]ns@KDVE㡕%FE@ꡪooӎ?ϙ,dEo5DGk)>%%v -mBiHw'|[yɲS4yQddӭ*3Gakۛm vLأO݀yĕi9j &S7\VjU*YH1W }X@ zWUmi &,Jģ=)ڥ]n0:DVvGT\5jLym ZC/| DG.7QnHcov?>x 3OcVbVKlw~%Wx_2AޯOAE$yAuhv ʱ\";fJiv- n+3tlH{<;^Na(OVoB=hNEcRZX$(a6nT l钽ع6ƎUSnt2}aΦ4O>Vg/B_jp=+s?kUiH!|gYZeebfc7ee34ccf3fae6bb498b2fbad33802efb08d8a4269a42aca70396b3fb4cbd3bc25030d219b39 f160f74f1f17727c28afe98e014cd66514902e33 322f9037f81ab1f84ab7b7697341684b0eac0380   ZF-UNITY