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 (;t\$L ]/ AxiomaticCategoryTheory:threads=4elapsed=19.243cpu=42.808gc=1.4647zXZִF! )h]ŗXiɟH)0%otC)4, Ht\31,i]!w>(6<&K!$wklZ2\tBXd͙4dzeDٕd-rv`N:Cshs"F׆6r:f/7EV_ñq9 ~Gp]撵7'\lG:Jn҈Vj"?VJ4Wݚ=p}pKψߛ*b^r;NV5t ?,H&7R; {Gd}cb%ZQ!t&@bۣ׺ԶkB$DuR EС_ )[1 %@#\4P}فC[$Ön5OѺ:0;ԟeAq)VM]ksw<(Axʣ9D=i7]j^A B[*Tl|qjɄ2 }7}";G&I\ӧsjvHIzG>^6 IJO  ;)hh]"HPm{$IlSHt$_ fR,˅c3p)`PՕDi~dbC"d)L!9z:+ GvwbJ|xE 5ܹ_"FShpi?hdhN Otq44pQe&gp \aY]:6 $C=88C==[=8#/|Ҙ[-8{:G/FlEr_ )ZڟϜ#Um!Kj>Fm;b.Mj*P;HtbϷh> S^0@ ^L'p87ҹE#+Eb AJH Z mS2ôՖX/ ش1/~I:ᬚ/!,#bu+s烌ŊwAE}5.L ~0\CjBYz bACyRoi4dVS ԃnʩݨ_+}ZDMcvA" +Yu~'Dqau@\Z{yW[0?єmRIgKP2߈VQxa6#B#Ψ9yUHU# X?vX=`sny^цX5, XFVª:F佤AIHw/X8 jA۰Ƿc8^X=>%xZL'm1b0,9)IMCFD4?^N])M7R0t8+0ieA!3\HX4p W?/ J5̮oՇ{كJ*#kYNRs0 pz(:fjc>yc+n\K(%D d {¦<։>FLZ2,j FvP-br༿TՕ,30RkP~9o9*"ӷSh}Yqr$h٘t&2% .,*Ej_H*N[Z7/DZz^޷^up ~$l'Od |)j 4 EǎktIM|ǃ¶_t8`ܑML-W估U+tb)|pil%#\փoWg{:Ahgo#3rso MMYLn28>!Cح߁cQllX\/vՈz^ OAXjQS5 ?d] ԒyškM 7=/+`޾CVO̚Mh7%fxV ♢7Eʃw\,y<HSAas3.S &VRd'ݖJcB 1=*BٍC `?d܇;Dk0x(P+9 +4~қGȵd:ކkQs_<0ʕYf9]sR45QfcQREmiM+5E4;PK7PS#ws3ouIe3.o"$;L9N'0KJpcХ)EI6ܐ  aИ4K+>xŎ=4#nLC( N0bE,-p ] 8HӔEm7z=" 5Юi2;nJߧ)[LzM%,+wTN0S *70X @)dÛA] 5gFUTY3 W{!a F=qer!xZ勺ƊS.^אybkrjg+گ\bwBpW8E<=v/nji8~㊥`!8[jv*~J~N/*sIOLkgxR/Ȼzf"^ 7Aai8v9#0!*^,ZbFU$ռy!J62[sz"Pp/#~5rëmw 1Yq+'TYN`L%EK^jG1ŀ8!]ۄ75]ӹ; v*ЬraGUL33p[O''D Y&rrKh96T9@Yk!_T=pK 8Y[ՒP*5OFy9y5mJmEnն_xb҆'nj#eFzbdO+8D@n`$2_AR)aK*!3"u'L\L}O?2e!/)B2B$oZ"Wc8HOH6Ba_`<ku^G2t 'ͼK-9Ztg~5RrHC/ Qe ۣop󴉟]J'+X_ 1qpޖԓl tE4:rYM' f @x_rOȈweE)"@%W@ގXOd+/ !EoZ=rƋTqmH#^#]GڕDyFͳp@nzW]_CYV+)| z"'-/ugq7Ė'#Z3/34*q&&ծ}9(ѧkiV_$NU7E5N,7q@vG%@Dubc{, l%bN7!30|<,T#A"Jҥb4h\[i}\eC5y"@D-u!V 7Dq U@ \uK/> zE.4w-O5Y8>E_Ov 4/2$v1Vf8,5~@݁NFDlj8Pڹ= \uE˧JCʽhN'qUmL2p=I~lŠh+$vRN$qC3F*9hx}$wì*oίg,n Gqi $Y틌 h7I: %M_{xHBW,ģa6ضDA ~Z0/JԐw?bY 1z"=2|oCW޺0r}5/ۘ-zΜFRcycr[!OGW8 ]9q+;ho"q4QU*}9!*WJtUYL{8TV٨$9glB4xuL䵜MHwՂGs1a~UBZ4j}rB}8ۨZ4J);^E6Se5lZA4v^^߇'b[}-#qԆj?Ch