SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  4L ]/ PLM:threads=2elapsed=32.656cpu=54.652gc=2.192factor=1.677zXZִF! ']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&':746KfɳYK"ɭz5:{gH@*R񿩸IRRtC{shwQ*<0vuZmM )%Pc14H)ץKɆQ w/J{J4c{9d VSifuNzU3]rQ@1#`;">ֱ 23f/.ez{F쩻YZv1l ,Fq9E8?;F>AĠӢ?µ!_̃Rs֯x~\]ZйC tN5\)  PLM  ZJM"'NԞ5N<}m^Ǩ D <_TXUB_*(.JBϿbIhIF~WwPdB_r-|CImǫ)BL ,c'+' DAC3rkf趻&cOʣL:[]Ϲ* r,㲸~m=]O=_Y;lgIsWc 8x X;heWF-xAAO24k?$:VW zqGSOxBTTOKo eboQ[J!<'e#L3vɍe^F9Si}!?na蘞\LrC,,"/&!QB(|G &5>@s"Hcy O dgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT=zK 1!Hb5$Tbt%bX;~69KiĜdj_*b dV_k+U睆%j@{Ղݠ̛H_oG(1 ȝ @d\݈ FڸOQTΨ 8\䮷4ALˑjLQ6VtbK,PV %9ab_q٫zӽABa \lk̒WiMUk?dHHcrZyFdR^Jd17;cCTxύ'@r?l4% ЂFI\ 5`gYZ7zXZִF! Ȅ ]ŗXi%>gr3sez_Ư'|+eѤEnXfʍ{y@sKSBꔉIME#?*hKLk2֩G~Q$`T<˘q%yjߖxd 5 ;[W B^?]얖SR#nmZ-jsc[ Wm!YN?T6Բ]Z[b.$4LwI[+@2~zUJE@5/:A9qђAYD:s|x*/klk0mq6@Vw'(B"C/ǵ[XzHv+ֿP4bm,!SZ@6(pZ9LݭDJ+3S˜mx~@W9 ;#n吓q@Bpf!\hD<hOdIi9o mhhK>9g',(Y֥4tFV\>uR'UZ߼dwKSq'ٍ݈ǩ;3:GJHRAyk[;;bGjpǿ=Np͎鈵~=ׁA6ߡv4͖vM@Ԇ?ŵ6lov|!6HPLg3p@]Ʒ{y2o.@E iCz L& c{I[Lb]FJ\M8[XD]k@6[ͅSbtPM rq”$/xy) }Rc4d82QNtM3;?P}OC%'#̴'JosQ@ASKNv>L[ v6x^RzEoƳD֔9^UCInV'o!+Des9-m?/ϥ%@{k׎|͆qJ4BgIj];..8~B]1S!C; 6#G69ݥmZП%wgUn=,V.ϏK?vBªӡs*,䘼rFTaZ A0:G=DlfP#C{VhHP6ْco`@ =1`ԈC%\d/?_r]殠`ÿP=֩ĭ9@ůǓ$xHJC<] gLj1񐀩N'ȥwBGEɧK8Dĕ"T)v~. }_&U1e6M#EL UKAYL|x鑐o, 5V&t+} .q  .1chS/ś(hk 2su!8#4SĴȁ;5*"Nte~ne_<`j Y*ܮAO}obv{W6#ս- /k VVXXaՀG̪mQ.2 )^*;[;&T򚠙A&`5f}saƥչ0SG_]6S\1hV=k9u3ҹ 7{3KoeV5Ev]sZY.T $99A|p s]ԕ˩_OȘO78s*6TE/{=-ioiwWfl/nhӉ]`IW(՞kA"!C͛2ewI* [J"\dy06'ܾj(7Y AU/,)l =BWSFo7:oHϧ>}`9aWA:Uحg)c y$B-cv |L sc;6wР]K+C͹{u8`y $l :LPoeB.:=S (4 6olԙ͹^&TqIoVCY8[W uEksRw6dwAS|OX{" ̞4B5C\}4iQ7e-\aSꯘfF77l|Ng1J(!N^=6=/,{<JO-zI+Lu ]XB{ >r#ʫkfBk!Va+*5aKܘT15+~@f'%\"M|E^Imn =6>Z_nj19 T9 >SI?3 c!veH".ε%Ķq #୺m?-_sGgYZcf44142a0699c92b06280a26ef81e47b3fff57d497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3