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   | ]/ TLA:threads=2elapsed=19.614cpu=34.656gc=0.952factor=1.777zXZִF! ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍ_x.+"mR t;'B"yr5[l[JsBQkuBCpイ;bsOlӑY7pI`7}܇W :HhhgBZ2ETZ 充m,Atw3iF'F"XG+k2YaМtjCȈZDe)Y?6ZL Dž>oW7h≌#bFT[g!1̙~f= V5bj-_]A̻uA2q$LI\xy۾F˔?Qx1$Xh6 NO#xu_QC_fҮU=&]$5bP&;TkɌMω L;BsĘ ȟS| ^O4X{!M gYZ7zXZִF! lN]ŗXi%6QJ_?_0k \46B0<+:ݟ%MV/шXfVٗOr'[IIJG 4;f&Hc݀<iUݗU `g|Ӎj@K|z.w"1mM6kp 1? nv'ȍAe<_+֑xlĵat n]ϾTyD0v]Qy W`^̂Û+|x lRCo +1qd @P,s_{Br _4`2ϐĴ5oBjGua Tk1~bDZ/Vi / =xF ^gwE= !~Dg3KC9#-6j$b^#1~n[6hnmIW Q3$0S,r2{i'{ui ]TY2쎉TW$ CIFEպmi.'.wXL֟Ah&+W  sFBg:gBni%6 G$<K'oLWY R҂;OPb`BܑHgҐTN4ƽŸ'Kv+iɆ$TLvL([>7Y59xA<0W>NYJx_a/]Ir%ndNH|qcU '|a(VI4ڥh #'Nyg<ؓs^*|5,V>n}tK(#Vf-OgTs,IyfR56}_ѢN, 3XgZ=!V>6/rK|/ (l=*p 7d*.đ %K'1|]Jt4Z8fYvn:*"DtMΞ?[يQ&|9kƲ>Pjj1ڪClϺCn*rJػGX߳3 NM/fo-ry]*-(,c!%{O" ijgFjL}_U*+!+41[>d=dj}׉}L"Rf,, aYrcb j*#] p{PVч ߁HٱgYZ69ab9e72ec0b4ec2cf27f2275bca25ee352968450a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159  TLA