SQLite format 3@ . BBh77otableisabelle_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 h- $L\ ]S]Relation_Algebra:threads=2elapsed=27.801cpu=52.964gc=2.720factor=1.917zXZִF!  ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci+b.ֵMqѷWU0 Aeїkuy^6Q bx*YXG߸o&.0v3/SksIkBiZXʟP_1ZZWYɓb| ]:7UyT2mJ`;;^$9|N>hY#G+/?jBh9!T75:!f:"is~@@Τ|e y\ilnreotHnXH{Z4dca^XVi\fz]18IJE3M-ZJjw6dFZki@_h wWނQ[FyXDsUh_/uCIeX9o=Y*-W f L(|T1c vhm8T9e1*@|"X[#WRs.1(LW 7}69^6"Iʻj9²د0C[غgS.MqT\"gs :XlijP`IX:=&: q:hpcZfY "Џ9ߐkL2iHm/R)aKSjWC;;"h~ݴnv 1&]z2ʥqOE3dX<V3;XgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%Ю//&mTmZvm6PB 9ϝėOr[-qw@hY5D /xzM/s;' lk8n\Y&}|U,0 h$PpimU1\d{ )?fˊV1gYZ7zXZִF! 8h]ŗXi%;|xK-\oZ!Bu: rewt,^j!+6fn`yuYueY5ԓwX~H$2A&5B|,pP5e m['q["O)W< YI9wXþpmƛ Xm]q%TRŬ!s)^T_W(;+LAy*뱪D4]Ǐ9*+g<[E6/sQI|)Fj]g5:MKR 2bz%X:J:{`,5`U3a%BsVDKċU!{h@ jCe ϞqHP` ;耂1n8|F6u`^p W3-m9^WV݇ G*Q$o}6P bmEq5 9[2'゗CPࢌCcl^,r$vcRݣ#GY,4u5d\5]θM=.khCY5&3 PimI) і{v䦝NgbN&R'Lẻ٧y8C@j&Ѱ җ Q?v^Qdz @GkJ@Q|O zh{bsLP?_`\m͚TV eL)]"ʪL,]<̒.aER(05rÃ2hSb!Ə-pXڌZS]p _y+!iI.2{mꉃYX6}IgSpv!m7-d :\CH˶v>! 8k^$=|Bޟڂ ]wklQȨ},{N0$hxJ0`_q7⋄4$5${ Jj/X!89ruՎ|Բ",Z8kX0[*z0rėc;Gt胰ģs(inеG"+b)m? NyL!]Yz3| ^ !27vSge\f exO[V{0jhVr0Eцț؄UɐNp˚ynV^ܸ?'9D}Y_();9\{O2y moKz Wa?qN<<ZMiImp&5#8l !f~)MB5ly􀿽)fe=Ho'Rۿ]N)1mT42%ϑ!+7?qnE向^Ӣ@aDY:mAv{߱A;.h}O 8 LcD\C|F/-\3"MTdX ,hRE5/"2'D4p}6,ʓ۾ۮ#Î=ZQҠh'^X7BD :]-9Dp*]bgݿFj4ފN?y鐫FpF]rgt,Alۚ9JNVjsiVGYK\5 fe*r&`?A0/TR3 .]+ ?E5 b8W Sg -?fBYQ302x!‘nӵG0V QiOgtURavKfgYZ2ae905ecc5ff9da4395fc0cdf8f16f83f5824a6479d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 04e2628ece6af1d725778cf37e5368e06983deb5 d4a6f3e921d39841f386c3c0f67c9fffcfacaa730f68375107caef9c74aae8e47450b86b3137bcee - Relation_Algebra