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 //N |L ] ZF-UNITY:threads=6elapsed=6.146cpu=32.164gc=1.332factor=5.237zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b/E;Kup5<.(iF!q&Sgw}#6-G[|!+3+NnnXtf 4 ݄s5"OpFkA֏!,9K[·0nl]޶QNZoOh|+ۋPؤdhP%#~= v7 /&y(隣W!;pr];6Kl|d$}j8Z#P57sOD{6$HN)QB mnmYBAA+u5cgYZ7zXZִF! h^]ŗXiɟ9 i:4V;}A<<ګMP7h !\'EBC II4W1y%,?wx,wݿJ@rh~K;°bmA)"UnR m@ehH/gUs2}:Z3JKkuEXEF r= D#3vJK :ݳǻ̫BvQi2;Ƥy(*ig:] @JlFhp؂qj__c6:5dbu&wѠKEDec?1 ]+sp!_ ?X@Uzcrb7d 6|gYZ7zXZִF! $Z]ŗXi%LE%\s&u7dbTxp%3 %x >#3S@l'Bϖk(z6 0^tBxo@ۅ"MAȥf#QuxDnR]Pr,uowml^Q Am[o_6-+z묃Y3H#i3O2}F^v_CϖUJ٬6I_I_12pn1ս#HszPX$`pgVS%)H5酆׈몤%fP%s-r8-p_Eգ픑g\[G`H%+5|&.IȽY z܃G&SI9aόRV`RLf7r9iq.Qa! :@VnƁZaC X`}w}Հ\Ո?X,ai@ʢ)]v}\zmj|Q /%IdJ|[ŠjttTuy5