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  Y dT ]/ PLM:threads=4elapsed=22.423cpu=63.204gc=1.904factor=2.827zXZִF! ,3*]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N/?U!g\c S=XH^ -B>P@Y;?f)iQ0_ח9$M ZkqnaheՋH%Ϧ }?'nVTSF*5^R_ߤNL}꽑50sM6ˎI0:jlLM!mE c|HE ŗ>`}F) Eҁ j@SlQ1Ŧ=ZtO> G3CGDy&'j@@b u`kջsZʊQ WD@̔6k_ U/D7Ѷ'wBucs^@}o [䐭<zoeɭxuj<2ߴ0F7uһx^@EМ9Pb%=G% O\&/~OZЋK'0vfw#WS;j Vx,{AY)GKvPrP6,px%%k 6x$ RuOkݫ4Voj=O(N]V bX͋,.S[_w  PLM  Ok]Wߧ1 1 V04SJFX^MYZ^cwO%brPs]dE:P b'G4Q)UYUOβz_[Zxus(|e-nlH+/8Aut~Oo }bK ݥޤ%lKķ,ܬ4UyW2ldc]f{@q7[Et57)Y $EYe4.擋!IiȊ3HfJaQ\EN1 3f ;*W0x0@=rA%$y7H2Q`8ϙܣ?-аa^ ]T4|?% '8߀GtI62;.`*(N_F K(']IfL.^ ՄFT-j"T3[bOXis 3TՈ;pW (~%M\p=o@+WyN,^&17Fː ^xr zNvsJ=;X'o+˝= DдgYZ7zXZִF! ]ŗXi%G̉S<>1|q2:zyn,ڞY#yy$knTNdAxzʫӝQ?" sHgfiPG&e)Mk/&O SI>*R _!wWZ*=f<<j}]vuv|i?-|SS)Ñ[ڲ HhoVo I>ؒ3vJ!{t)eT$}Y^^FZj .Uj^K%ccVK1bDΜ+.P@/d E:{Jަ3d rG,ps}a|@79Kem/B9*.ėV|nƺu)oX,q{} ؿ&uLn@fœ8@Sze3Wf}t9$+Z@w~ \fm{W Bcپˉd7= Ɏ>q"uo1OAaЇCm͊"lxM < /]E= ֨| M^dJT7qL[PNA;7Pr'LbDg%(̱ᔱ sMls5m8|y*m1)=!;"kVP2o46.x7iٿ|hЁ f-څ"ԝ;G:' }<)&o76"E{^ZSZV~E=X|eyE"#] Ubr>z%DxLѻSsԇe>nz4RFT; T?Ԝix$͞6/FA`zA{VC+ha c$p߃3fE:fȷ92ݩ*9>0L\мZ0ǭXUeG$ E m=#k%|9N!F:F]/ŌcX)W{ _)9,\q ??YqQs)x\jEPciwz72阾FcsL;,j/C.߇ˆ{ R dُ-'fqh޾>r `r:ək:|ۗ;hVŵPhWP4PԥT^;(%ۄ&Xc yQNeτE+{SȲP{u-7{$%!+Uǖ,Ň8M"K]Ե21y5myGRhe`=g~دŬN k' `ɶw1;D@D31yg _C#r yST)D/n֐/g9fﳊ:,%¸cXۭN FVH>dV=}Ĉ0":+a);?tq@{4&|@`WRN7;ZM|5aɏ&$vh5K]"!nEz'8>Lizt:"'?W&Ql7ikg?(p%[aa6C=;wnk|')|^vN|,eu KJ޷6I`IO>+O@k&)҈?k RVe2 j>+g#.H[_EqL9)pU %;vXv}mt< [S q+]10b/{e۾@3\ljZWCߩpS