SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info + + =#Tdd ]/]HOL-Library:threads=2elapsed=214.221cpu=399.724gc=26.460factor=1.877zXZ ִF ! "#] ŗXf1-q恈͐7ӺV1̗e&$W$!>έhz+>뤡,[>u:^Hq7}Octu|Q=_(a7J|CX*5@~FgJow>^Dgģ"e ?FqiS Txn?]pTn(S:rۼ5A}o5՛>!XXE^Hy ^$d*Y?U`.@9e]{&n7&Xd^>]U"T/o^Nc9ɲ},'eJ<<1 $J"5|O<_-#F,ց#*K:Iev)gt}4.;mMTHշgLt^än \h=)"BYdok퐡7[gd]KѨsc Us(!| Goph+\uo*y* Xz +oxkޘ`yTI4^vsPnsobcp;Y2?uOFbS9pA(A ~]|LrM8ևfZS&vI^M{"wu9YGtgz`AJ0{Lg2I _Y99LPnka8 !"ώ֡lJi$;;>ʆ 4%;;c#r=?ZZpNcpd;UpPnƶZ%ړ^ #$~ULٍi{M&/7&݁df^ڒoI>;v8>#'VD<@`"pBNڧbCZ9<+c8w+?d*J@E{6^A+\\kSpd*1Mn> _G(.C5:K]9qEբ̣3T϶|!&LMw^åNٟ@dsLB(".}Mݲ;RJOz'K[-0˳}ö?a=_~ 'w\ kP'P}2GAj\j=Ҡ'ĩ\-l2Qd`/pjJ Dr3gn S'Y1a^NY=pL"xdd.rϙ}~ B%Uӈcnxൊy `o!A[ż?!=kfH2[E{R Aѓ 5o%زcjGXW։5YHYɳk]++?4qD gap |n6V/mv =rNF%<$@e䭉}VpQSP\Ւ:#o;u?|< +Rb>`̝#˩w=Sxi-f G|#m ) =)dI} 06BSڙB _