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  \ \1 ,  ] HOL-Imperative_HOL:threads=6elapsed=35.611cpu=80.304gc=2.600factor=2.267zXZִF! .8]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø™L][eQw0Y Ltꉌr˕]~cŽZ~|8k퀣اԄ9˓ P NwUoC>J%Vte&dgir*F :OIp\MZb&CQI5a0s'ʅP}BdYZ Ug;Ð"}a^4yV=TXpu * \yfs"&{i R!4 /cc<[a`@=[ Q1>wf꧴oE\nc{C棂"'?88=|ttfm8 i9hcXNoo=Y\}[E~ U%z*m!ퟹi !k! doeoKl&QF4;:MPC3BxI}8d8 &X)֚O%3G`~CrQB6A/^RV4aK"*J{=?I]+>b!&(lV&N4xpyVZ$*SH< Roo k p7e\9P暢'\\USO=ƛ&/zx~H2;=|#!i!xu( /~.,Ȍ6¾)mȝKm@1U_&9 r6 \GgYZ7zXZִF! =]ŗXiɟ1nhЦx"n_8N]( eOtd7d}N jk+$.ŢxTDZOy>y' Rš;Yw֜0۷Ȯ >,v 2c\ @pFկ7#tb,Ș&o8쟈Z)X;@"qފ &H۫ph~9eT-z# Qz.kK`vI#oHX3: p̉[%b ӔcÂ$Tb<?񾃦AXIlp6׊.ޅABn$P;x<g8+Rث':OEgrP%vMܒ-eTmHhfh^[ /3 5a[Pzred],,/-Yj=P-YX]0zAW+\v"Qw^*>ռ7((a]cYN2{U:\ʾs0P6y *ؓ27hFrg,Ne̐!sw1Ч"jf qLbI՞Pih;)9ZmnF^8%4iRSfcqJ 2_'d28r6ՇS}/'Y46 b{5 szcr?o;%=VdUAHZZj21l&nu7o[;ĜPC nBZ1JEچݎنR ?gS^H.N})EGBb$,Mxy"B}W&w Ͷz|jMFi'ѩrqB.Ha=.|tDT+vSii]3T~Glus,)dG~ È=ႝ0³d`tg<ƹVA,0Auw=`^ ؛F93uܲgwKh >GD@W~}T.,ռJ Qq;̡won'Ykz@ImMI^h/ бtj.ʝ4mzAn.xPJfyGGl%9sg(Y; XXi/[jj8<-GzPa`{[UXH.>RX"w123KY !`hNR~L/*sU &1 b5]aQt`EE"!CuD]Kѣ-A5*w9LϫKa4k |!`pw5ummדxe|]H~5>ڐN ~~O8; `<1\@ ޙ-lN )(jiȔ=t$ɍ[oyU(6`8>H L&Dш{QQbX:=­J=$hPnM{jJ?6벛T^"wt^SPb麕W"L-2odž,۲䍯}_:1q̳a˔WV|SRWNojRBz#g_[4-sX1؟丅][OlfmoL\@"59zc6KYE%gk)̞% *d"fcyYkN9lǵsbR̭3Cp$ӧ~0!L;,௑ ҞM7D}#5~ u*Nkë¥pFVޔUQq~j(OG;̇Q%U^_Rz.)BE'u9̆+0[|o٭7Nh佴Y LzQq"_H(Iqk0UQuBRZBr5 פ\\ر؎M :gHhH`G`sGBf4cQd3Hyjr4 X&f'cgء)aHlo|DMbeCϊ_vdn`(ՙ$.) {,错Ώ#rf7#Y0H GGA[|=I4~CY2[}ӫJn!_ϟ,,RqI`v$`;T6~,_4(~6T}"˕YO@a2OM8']pSR2"#UW.Zh2[\+Ӂ烩G9z:=Xޑ(} KRJa\@$EՃ/ʵ"rA aħj6z]q~e&vgYZa5fdd934804910993c21348351589ac243854cd625ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8 4b1bcd999efac6b00836aa12847098a98441fc74 1d7bfc58152e774ad557a4e7823ea5c0d9237533