SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 gg)DT %S Multirelations:threads=2elapsed=93.657cpu=102.512gc=4.376factor=1.097zXZִF! 5n]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&͇VP0m H&8z0[؄50 ·wenEChdLW)ԎmcꕶV4Ga=;na;n3tvĖqg"Eݽw"ñHRP`q@JxX$K1b.;vZ +/5P<59ẘV%t߮icl R$հuej4Wj+^`֥@{r)d)\8^ȟOΓT(fb _y:RM<}M9dYXcϧ>Bf-|F\NkB>,\(#cg"5BF7JI+w᭠\&} fύnB`O,ӗpga&::XQ)Y (^nؘq iz)$ wfiCZSz$ j+OgYZ7zXZִF! Ể]ŗXi%qS  ,:a ->ptÊPMB>AzxRm`rkLYRP\a[rlls6^YYd3ӰK*bd%ß~QwL3lpR:ԃ{k:"P'ʋqs 5OؒZ^wڷ/9O: |;A"D-J:Wt5&Lr:3 e繲D"qJ4O4Y$ZafSRxf*`~Wnxh .AIkJpybISY}̻{tWnH5 )p[3go07m?i6 z)3VrfV`.Ҽ/խf9D>+Uςb+#֕xm!\+"]]le`9p5$Vo\;<6ȩ;bbr֕AÀyw 2֧U_ޤV '.c]4cqy2&qERs^T6yM+:+v.9QsH`]I=p4=݃qľt|?{-uY'U[ h}Λ@φ^7*&20T "MK4!h$枷Q*FȜZLx*Pd~ƗMKωW˱-H؋=J7!萀Y4#nͺ ) MultirelationsGcs-Qr uK:gm$e/{ SOLf0> خQMϥq&_FU52lz˿=>E|A?^X5rw-㝺*^9 ;0B՚r`mXn<>&å33EYdH LQ&* m!kPH9ݾ]磗hfu/CRGc wˇ ՠ.dnd NkuLJT*0Ֆz ]*]ZwlY30fW úFewWZȹXm4s-N$o!ܷ s#:%zI؀w154UFg=/'4pyj5[Z7]P@v!3Bё MEěG IWnmmt!R9:RoƐPL'|$b\=ϒlm$(ϻ+|j.袾3!CsNϹY3p}fyN8Gn2t}Ƥ5A)۲#I8O^ [~~~ȑ-80]sO{jk]wM3܃E2f*b ZJ5r `do%OVex&iO/F^?ҏe9` 6/scjqa'\psIsCA-h$+,'fO7f jTRZJs*nՙྌ]j?Ki, }P肼ޗfI=:1/LY˜sݤȣE=Yjٛn'%I'sX J)TmTg$kq[\zNY\T~y ns@`K:EN"MUvӪOa͆t]ם5Xh|Ph_#8/33aXvh8]QnFp>gsH*Dxx/Hהgl\"\v%,SAumsGxoHu/t7dG@, N7AA=aX%IR w +ˬt/󛷯q&#avEI j]_DB2rbqkN5*wAp/k;Ҫm<9.Ks<.k- ; =<4M-HC4gM.RTNݚ}K8H^y*V>mC> #֩Q `S|~@o_r:G=Hԫip1W=x]'=>|5G?РLSQ0<=D<4>:i3Nk*)، 4DOAPKHnSXlԷiPPLscuں\,\BS;7AGڇCGB5"3ЉOwEW^!֯ M9>ц-$0_{oSAJK$ # j[D1Y;temub1%e <|OփM$BykS0¡;-Gdm܁"NAhi\fqUC BoH˂#542vGe kk"|\G4T XIÈ<2eđK-kT J%#aJj(c%R cr-fEJWу…T*mʅ-`\dv]{7WH?0TXeVF^& pIUmosR 'ocK$!cX"O{אD1LM0lNjp3VL,X58d:c^>߭|3r*0s'4˛} SePb `5:,9OR&9I^&AzkĴC%(^cvBTL"("kcGy+l<]R^4E *?벏/c.Dž 2p9Wl]") Q'Wl#YIx2Sfl>+ɾR7]PXaYsQᱳ /L๯w5 {]~Fu7IqcTvNٲ̚)f[-`k#Xwn;E587s$VX/C31 HA1zȝ1m%}B7N2)"Y~"nfzA_;xޟt>VF3!yG8Ћ ; \_4Z fdjHt3 ;2 W.\FT+97 1v٢¡:""1K0TAZԔ/} ,pc+<zjKHo E ҡg8x#gYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f39703f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad 76dbb04fc48a8e582650cac79ad8252aea769846 77281f38d3fe1910ed496f6833667d7624b2e710