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 77F t\l ] ZF-UNITY:threads=6elapsed=6.121cpu=32.408gc=1.452factor=5.297zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b XȮ?`HTotvMzЏi*{S +G1/ܖG D8*[ }g8>]B`-+o'49P ?L !4p(W%@g(q8 ,b3 =F4Eۋuc@e  #>5ۢ^gfy>ۨ JDNi!Sp] B=>:m{d:p1gq^3;k-jnPLsPA-{aPG HCm[.UrEf v"ٺ"%^\f@ Dv8Kc1 >Ovnnsv0m)Y`;s;QFfA# Qs|dU*UGΑeC_S>g\fY{slh G'zZdJ6sh [v.-~ o:$߯+Q&  @$G OҡŴ;sT`<'[G{wm ?|eWH\`ɠ)9gYZ7zXZִF! hf]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ4!l>.YRIRnn ȋm9}Zaڈ$O܇}Y,C%.^<8}39+6m1<WU#jgM >[  Ń:Q@W( րaոLfjjpR+V9 _p[X<%/3}Ohlޢ~uԕQO_WH_մ3.g"Ō%{cm'b' U'!&ƎGv$ mqgYZ7zXZִF! $u]ŗXi%G6Ҵe)k{NH}~fh/d1% qIytQS%vqMꔚkPP1.[ok2݂TɉVDm@J;Ǜp!] #Td5uT%[7a6yE-BݿSG%r1`3vS6 ٴ7\]O?a {U@)|↔TO7; viAʕץ"|u$@0Ԑ B$OFdVzn;sCkjv| X;9 r$%sW7g-*% M=1J#m7Ł, cmc*,gF N6tDs{V=un\½oB M7=-G3ݫ6׎D>NʠG;Ҵ;T&;D;:F57Dwu[A[ƯmSJ'(\͟l'bDJ /zn!xܸQ (!7#|fpe !å[;C4vv$kؐ¢L(__4JpQ<'!B.6y ]>Dxv}!*L4뛗IF9vo]Fs:C<-3d'k+}:恾"+£iJ*ÕZn-< Xݺarу % #}A O/;- nk!y D_%~-a|׉ _ȍ,fAp\ia7F"K#ùR1RҘ6?"p= bXaQ8}Y7V\Y ]/7ƣ`$+3/EcocZ_%۵hM-bARXNǻ߶Z-ɟ}gJl=Q)QD3VUۤNz;&9+hzcޟ[;u:j.DdB@HGgYZ81091d7f65785b99f0c04a22efe26c902f168cb8685a311797845e45d1e0e94079c226b99532de8d 4ee1b6072f0da1f95f9d96bde927e6b8b9ef585b fdcd34b2b6a92d162cf58f5b172a765b2fcbed74   ZF-UNITY