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   _3 <4D ]S]Applicative_Lifting:threads=4elapsed=27.361cpu=80.596gc=4.324factor=2.957zXZִF! ]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~I;!yN5(qAŌ`m~VSV]@`@G] BHLrR+2T"FuI#ҝp~Vrnsu;oDDR>ͦϖ=S `ڒMPb!'X&Ƀ6 \tm;X0@ AP6*zbD'Q/lPT%=hԷd$% }H S]@2-~Kſk1tCacS~Wyde.J{K}Nz>[u}_-:ܟoŮu;Q2/sfB)U[BR>%VY+Nh#S'KL׌D輘UO,2@?8h5@4,lRqa>RS4-Ü? ˆKghdX<"8뼝x oN  3 Applicative_Lifting  qJV2 L3/QlwJ&CQJ/"\hVkeUHj7A`jc:{vpԝmcg}<=bzdJ*V01 ?BgYtelQ`EBr"ܷKq̎h$u+C~P Uő!`i^g@y+%oɳ=OһMx9Hw+l }b&>8m}s5ʎ2¼0`IiN_gYZ7zXZִF!  ]ŗXi%L EB[uALB-xs{͖(wacQ4Zû;?&G{-ewV7^e,-}+;;h+0-kK:%5jAht/ޮWK`D$ ^ Eu)=uS`9X\ mm@רA2!;OwH91]:/Qr<$ @kvEӷc-oG` &X2_6Y %F-͛mpGt3`>f+ S:)0j'AjAGWD#rb~ ?YEڻRMZ%}]iߚ@(O bMS>=*.Kzб{HruX qԯ`k3,qeGD #&@zr:I?C~)M30%SwBVr6eYBuB>zd#I Cs 튬]l-rӰ$1b!F)b1_rptSє `>l{On}Ca#/tT`s&f+swlb7H~M`B E+I;lѼ %x ːfU+?sb] ,zWMK(pIzЃ#/QgCu۝8wq^񍪳tJ%T"38aeǬ)\{#>.wV֖p%M3s(uYX?q"u@&^UCQ>U\1צЉ#+SCbide`<@4EMF"<[OXܭ댦IA+N4/}X~ @<سS+P)5XrH1(ﮟ<7CMo o8 CYsd!5%.?"ASJ  7}`t1r˽#"ߌdFK2YyAȁжA>,}/ڝW[_VŬ*ì+FY.A ?veݔJN [F͇~3 ք]CĜA%鰽Ѭ!hPfcN0\SmR@ IQ69)o)_;V_[Oi~ ;S'.va9hNQh)>G4 ?)9ByVڴRr83T^]|߰$[oJ|)9ELڠ UEV==s̡Ʀǃm [fp!-![[ $IBAABc8*`@ZU~CPJΏ>_,N2mSz?{B (khk$0{ju.;zq^Or#dKJVۓn G}oGl:(Tn~O")l"  U2waKZ^#Dݝ+ڀpY)g9>'3M#ِJ'*e5Hx?j=@̫mc^.lK=n%|~1PLldG?D諷4ׄׄL/'졨5>^N^,tpٚIH#^/X!iC@x@n q }ê{ns=Y+ جN0> cqT[kζ[-șM6)w|Lύxe"#OLd%⮅ipv24Y(eTh΅MĖ .MJqʸ2ᬛ0NܵEy_ӶH`pTn"@^K>} />sPq{ph>u̗'B)'\Sxo>gYZe25aa6d25b18d5bf61d4c4daa401c696b1395eebd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8552347310803099605dadb02749f6e002aaccc104e32aa7c4fc84d8bb8ec3ebb38f24a232668cb9