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  G3 d|$ ]S]Applicative_Lifting:threads=4elapsed=23.620cpu=71.764gc=4.248factor=3.047zXZִF! 4*]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~IX L3#bmlj7U'ķI¢{:loJy!pv?tL'4iʾR)D%T.g%*4>ci E|u?^t=, A2B)gIHL}K2^ 'ղ}>lKˠ>;&2`O=J c%GE%ҹ:אi{"`Tn=$/05~"cn6쨵{LycRq!6Fe2ڴFS_OpWdK O_j$YymiL߳PZQ50nFRcP)v X&'_0 3 Applicative_Lifting  Ӣ[ ES&xiˊ!rCu.R@H>nCSmse- yirt6lorPZ$n1Xƺ? /RƧB P]H$Ķ_^<-f"(2ՠρɟ?@"a"$^!@_qͧb|o&cۂ똸˱]x}][Ź5oJV\}2n Ed^sIJh.I!Kj$9xAiAn,|gȡ.,i9ػ@cѲJKlCٱ[hH9ɻnZu䛖pQ A1*6E%?=T/pS w 0p1HDNy=!צW$YBQ?^Y|^:Qh2gh[E:KDN/QdQ&Aw}s EH*Jy*|B[) wq`\Czʼܡ9dU l5~Z:[7gYZ7zXZִF! ]ŗXiɟ*Q?rͿY!?ID(@[YJbn̗v! )E;`8;?CB4ݛWglga!cwޕ7x9CD$O\e)e)"Kgpu:o b!T"^Rf8ǧӑfI;}a)8HxKdCiDiQl ܸv t;h!@F@[!`&̐D Ӈ;2,Gc<$ O h5[ve]f5'"Bgo7(*C2C[f"ȣ3rizJK7_V.)eԁbi}_zjWxAzFU uh-C,0  P x l"p kM&eP2(!!.vj ه{ KfӷKlV!bYbl;0iӁ<.ZGv\R`yO9 g/~җC^t`yqY%n*=q沾hSu"A>o Wӫ(_u!2{Y:fZ}`HDwg"d>W"\*Ts;su3Yg|Ӣ*"#T i kHh#=[4ڃQ]Pvc銞 d>]v:}k?d7 $6Q#TХz"՝CMFyF<%쎖fen,k]P9~;(C].D$ ]*+P&݃ѐFԓi0g#3lc1|?Ō!"?:l9I]# jB`o9WbXa,L %~ː5=>_UKEea?rRJ-)u>(T51?BU/>e;(*눑N/9 Jٴ3ODܼ@6Z42VʋK<)3#Z+wd#[- < F=† uv8?Il-Hl DJ6w5扔֎߁J"KJD[0`#r׺}\N3 х~ qЂQnXDޏ߷څa&^MbYuY|*J#,VXg[j9h903jUh$Բd'DǢ$F~IeYާc A?I31xsik6L:pa =Q^{.