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' 4tT ]]HOLCF-Library:threads=4elapsed=11.326cpu=38.624gc=1.116factor=3.417zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐlq|%%ËJʤ=浌zWLFR>xaKe]-Ů$%]*lII%}SeA!Ny#6n*([q\:u$m$]IG} /ŷ+ޣ 4a讇/oAsy.6mӿ[5}I; oW12LDOh 3"#BmèLcF"8 MyM)ao EÆ *i?~ԥҪ@]OXmt PhG F!on}Hl)(l zg+UVsJPd/áPF[VQoG e I%O #:lO/ip0j޵©뫨TvG`Umpd P*BlY]La7 >yrŪ!p~. n7y&-X0 ,ƬƗX9=MWzNlW=,TkT<>o&Z/ \R1K~O_}٣m&b @gYZ7zXZִF! 9q]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf|ϡ]8p/抌(-,[[Tw5TͣN.hs#rBt- ={#hs&4s+ʱ&%"yWk,O-f%u:A(PڳVoܭ]D3 mXE_Ι&AwkW%Ӑ/xھ ּpD*̳_@u] Wxճ[ѾP]eǥS8W.NiǟiDO1 0"{vꨢI ;J /ĖgO~9~ڠCc. Duѩ;~I('-Kȝ#\CkM"0AjvLo;r<:q|1ځL7ن=RY}BP] #H*EI|F64Z>3ͯӝ93:n߸UhA& g)#XFȮR+GCt<ھ7ߖy4֢ k , vGd5JudhÃ$Bv_wFs \YQ2SAzP/`:>f+2H=' p!궹;Ԣ\/O|B~}$уGgl@iuFS7s+S7R)bsg7)ٹZWfHj=js 0x*G7vyғoDŽ-ػW8S!ahf* Vk%Up|,^!(Pש`=:RV tIk8~SPɳK9XBwcna^L[7 A.߽[xO3G9lNt ;Sߖ}DɕVsQp^r[1L\t0SV֬WqxcanݏdssH}f@Q~kL1xjY槶2MAw1J:ۋ;>]ك`$0v;,1 -|JΐxcDvC:j4(ޖgP ZSkLDɊ%BZT܊h6_c(s.Hp+~a' i(6 rVm8n79Jn׶ð'DĂy%j(} BB={6U ~ ʝi^㊀#_[usq QUKO`2’ qZ'AD4efayb̌uyX2'X5 GW,.ZfVRV̑|p,ec1F^wZڀW|q|%˰У-߿onY,)