SQLite format 3@ .;  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$ ] ZF-UNITY:threads=6elapsed=6.092cpu=31.884gc=1.248factor=5.237zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9RVdA H O+HSz{rƣ~Ʒj#Gm6(GGr]Y 8,y^DFФBFO6_ɨޒ/E yf;;UsDM =NeRΣ-KB@j7bp~]YHG76@kƆUًZ-oU+ Ӕ D6fU$A\mC qcSCg>L=qD/W Kn9-je7+tVedɐm2DxKb{/YZXaMnN&v+,Fd(m3$-Ftp718/ Gޏ;ۚn^k$讏TU( JVL48C(k)N!iq:h*b"5$ᆑu_/yuD vElu(@-i)zen2+: <ʰ阌rnpaM6=J5R +NX7++]9@+>TgsO5r}Q7ȶ(`"סN]!,Ҋn4nLw5s.#S6ĒG-a UZ_)" PgYZ7zXZִF! ha]ŗXiɟ9 i:4V;}A<<ګMP7i_1e]щWF>}a09zĶ>Epz9aZpF[/Vٙ%~p%]׮n'W?q0ȼZB8Z1Uι5F B odg>jbwDvwޏuE] Ꞿ!:&p[)"oc'nRBr 7$`zO䥇ڟ OgjVAKRQ@1KC`s(' >:q]p^,~5qA3x>0X,OGzDXM.ֱ̈*,v7 ygYZ7zXZִF! $X ]ŗXi%J!5B# }~sK~ԗ/"_k|6K8c +!܀oFF1sҪP/r2~C. g|悇6Lb?oJ.ST5ˊ40JniIWz9/mSVjKT 6RBk3APGj M|oMPO#=7?3"3#ǙD1v~O:Cv0[;$'in۴cklb+3(G_w|]yP+o-U,<+n8,b,(IzBZְ K3IWM.1qi\}/ۋ@+^|x$:Tn Ud{dXZnqҺ C^#|*ƖTYEaUP%v7&,Alm!t>GnӤdg_ -T$cN%5d=q}ˌK',<"T&eCh$txĎ0F4a!X_݁ Hnpm)mbw/>==r0B&Sb$&O }q70)n_48f%Ky _ xfbT]៫i (xV% X ߑZ/@SI3mB'tWM"[U-3Uq}G!RzSGMAʽ1k^:v{ '%kGL姉e#Aҧ»d|^!:Kج!7 ǣK}j^}0ѡ%o=-GM1GbNͷ0 EYZy کa^ @# b͡>Mtez.Nx?OOs|ғvs/LVBUը%ZmzyuBfF0~ 7gJjg^״%{"H]$>[,UWt8AH&#gYZee45c2876a22df9b433f4a48f3fe146d087874817a8e704ccea2b410d547e553bb494c61d99479c2 0673d76af96ae2eab13e919ba0d08f1d01a15d11 a6412fa73c2666607a8c4b792084b8e3a29bdb0d   ZF-UNITY