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 v 4T ] ZF-UNITY:threads=6elapsed=6.172cpu=32.684gc=1.288factor=5.307zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b/E;Kup5/gh-Z_|GDyi&O`ĸQt]Rb`e_Cz婷#HF\PkJoU.Cl WW'T"wFf\5%1ɂWdyG W+MD;Rf$ZuW瑲UXjMҀFwOLWsuUub qy˽( T=10FYzjҾY N@j&,uk^2"'n#*A:γ1RmXyp&1fu~QMœc?)VW~dԪG|OqZX&q{-Z0/T3ٴo 0cLv}c`y:vG>c7Qސg꓂.s(KǠE:jEGq ?8[T:28 L^;o͓lwF} @zbG 27ňaĢ}+O lܦ.ޚ޻9@HB؅  !!%G,fa>٤ͱ(]uٕ}80*VJ}v@9"+CsgYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8>ĨߖBeIIx#8l&P^}D_J!#{S<(&Z}ʲD~L_YP64ݸV,P=İvڭw(`$}X;$*u(6z%]ߣߴb&䩌i36_2?Rc%g0Sm~SZBih0K`]]Jf ZH~J9/+:09[(y^Lyk%œҿ3 ejp#b c 13D,5AmgPw#dۇȚҲGY5Rgr.T> e8P| (+٢IGO$LY&gH3"4N_[9Y#mSp>;W"z%*ӝ+  #SOx"UqOWau_,"w߇|,a堲Wf7bLheR*$Mlt=HʫTFIg/3\y`F Ai7 U/R+f9c >}B |%IRVU⢈6YD찼W̋V#˧_c•|QN4'ѷkx|vP)8% IcŒdEh}Gqʒ!G'lKl^47n_F@0&56+q:6&,'R2ZM`70eXm".c8ҋUV)29:ɲ.j.dF[(B^ތ/3vc~a1~]6nɆg3Ϸy8ψ爭kÚYo`nPY鏃L3⡟["nlүX8^mȫ!]EZhPgxyW)@6}I1ͲD%r;zѧ: .No%Ξᔠ.UmU Ih3H3@gYZfee46f59c1042d506e75e0f09a2aaa2a7572d9d65f1f4c97eda553942b9ec06e90a078c551996761 c39de32469e88a438b2bccccf276c0eb07360562 66bae79a2faaf69517a237a3a89b5f1fe4552260   ZF-UNITY