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 z td, ]]]ZF:threads=6elapsed=11.741cpu=43.508gc=2.360factor=3.717zXZִF! 4]ŗXf1-) enȈA"tr-j. ZbNVHO8J=_HʃL|?_b} }4gq.!v8[A]*qlCsҜ@7cYpM>٪Q(+A1Zt&J=RzlJRnO<"V0 ԰1*&B4t?؇Mh]}^b!OJE ܡ|C|GA? Fw(cdNInNׄj5(Msx|n4Nѐʉ*2p&k_ܖm 6ǺƺMFG9ΕH- K:ǢmpwM^<&v}ΜӞ Ob2Unui8ON <3A"\BZP# K\OG;LR=p%zu+e (ͤkG_q]iD|96b9ݩAÆ?2^8v`2L#a_Mɺ4'^>(針ʴZܛ)5GS$cweX)Ml'8MYL4GCvI!e`G~*׆N=u5Η7KL/ Dd*wy#%>5NIR-ca S=%rQi>IJR_VIhԐ7q;?luGJj ~$0.?5vH3Vub<@ - ٥l)N3)肐]lF,C7^ʝM!` .a ~rl wGil9Ǧad:3lCI M*?ͺ"Z9gYZ7zXZִF! C0]ŗXi%B6uӴ~tƗ/6sώ6N)ol}揳ء\'"%\L]eeS+"&b3eo AUte{~,h'/5fҲi+_!U1mx i X{a96쮦yxP[vz/{g+*_[bd =h*N߈\(BMIryK'*DczTfM)o]Xs9(P4\-&fkAh |8JȢcVX~]JW5>GLt1}d!Ӎ'fw# D\!ITlI,HU>q (cK)K$5(VZlFq.`]9NZ{'RD/3 6Z7Rt /_i^_X_֭S(\r`ke=+(>qg>u`>D,g'qj覾+9.Ҩ0vBK{*%A]'Wݒ46݀=5κ$LԷ[Uߏ7jl1T>C} Q4h+?Ť[c?s3QWeskmϦJp;<\;`q|b_[Lq]Vslc{Stǩ,[PlUʌS=>S񜼗mJsPLɟ(`OȑOLrHuo wdMG}좮S o 'scK|ƕ Ds9v7z쮦۔̇ϯz5tDz|+H^U#PWH҈=b*{B|sMkh';N){$kYvrb ܶJY<1}߰\y< kpo%QNK\1OδAT4&No=꜈_T2MKpLR0K8Q&Y tOgYZce173104858f511a691e66213390e0b132fff338ee1785166a21b9974f34c6db4735c02d08b16eed37915d93145e3497328cf0b46406a0a43cc7db3e  ZF