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  + Lll ]/ Decl_Sem_Fun_PL:threads=4elapsed=24.127cpu=85.620gc=4.720factor=3.557zXZִF! (]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVĦu0D,D$Gjp4B=%Ԏ]^!3w;4uZIlS*u&&8Qjdd/4*b "K|3&gv'4mTu9 EG:XTk%<!X`[EQ{AyP/g L@R79st,3|J`t:/"dx<2PqeKu' +_{%H.3:ۋC1H3:Ȟ?<ݧ6Ҩ5~p-ME/12gU:Š$op1~t10qabʿ_&BqQDJ)a廫:~w0$k}0-8#;-= @B|Dm>Pq2=@6b\3t0%ڕt)CClSg)/їn<A-j3ui$8 E!_jVl_dxu_a2$]y PAZ ?dA-qmsk`T. $l ~^98[sJP[ۚ + Decl_Sem_Fun_PL  kYl,$'w04Vyp}F"G:~}/qә]i5Pt#Jl+HtE|4ŷIU6%]^fVά *pW.jq(c4D]i\/ g&IkC}9K.Uಁ؅bY  X$Ru龉"[:C y˸ 3X r2% ZDYxDb$~(bp{Cqwm+&=jԭ0iMIqj9.hNO٧4 œDMŏݸ,@j(ǃ> 6_<_̅}].S7RXo7~J_Ƣ!b6*H& Hu[\brQd!@vj]J/@sCO_qTqץVUdW`MPR^"(Tqk$b0}+fbZ3QƀE# Oawl hvlk`:i9 gYZ7zXZִF! 0]ŗXi%GVPZ/*]N 3`aslt賆x*~i /s?_gf#Dd]$]CuT,[M!'+=*Y&Yp:ogdL]y{2@SUc9>`TKY%t!B(t&mR,ٍK/[=bM 5?pdB\Ӎꤹ`2i(M.3~hFg6Kz֔,dWfBɟ3LKr!J@ Qgza2SWtaOZGnHxڲ.W_ ߮+dz{Z`.DR,HcEUJ8Ps1+-X狳0ao۠/(YLD @<>7hkpwqY4Pcm:/ P*+ 2\8  Xohǵ#zN@)5j/0n#T.Z/A #e V0kzP:i-(;c>ܕBn0jYA#ւC1(~ّcI^w-k# @}+frG@iRU1ZOG]#TZ^90Ԁq~yw,Do(]yU Ыb;. g Gx1MVo")CDbgi% !S QZ׍ҊJ߈B2x$ 55i ͟Jh0c9V*SHBxD7}Mo}%b玧?K5wegq]1{;KKO(h+>j9R5cHv`9rZ" I ߛЈ23%CAuM ޤڅ5v?:og8Z LH5m> nΡ~1kDn)+/ E!2R\1q/Ԑl eci|E3NI>BCYJ;cA^F*O!y5.:SٔIǡ,2u,$SeEuOV˕Cj+&f0L$ , ['tHQBh| e0bAGx]mJ:X*$ZPٲdSk^%2u6d)mzxX2Lo ƏX\9 Ҵ 賎a?KA9m뙀bpO1]̨?/N)qyyA%/FvNٚstȺb Aơ<_Z!'3Yiʋ8OB+p|m%k[EX/N V a2OZ#eCg"$K7Ghϛ RbN"nw4ߒ7LkYb&HD w nK3 ط PۃE1؎;H :lI^{tST;h- B=]" sٜZLteSMFɛu |l{\nv`aO^d4v$0/ݐiB!6Z6.~Kv1w hcu[ u<7a BMgGG,3ϸA/.!wYgYZ5afe446ad6621c703a096c75c054036378b1a5f94b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2