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   b' |4 ]/ HotelKeyCards:threads=2elapsed=6.248cpu=11.832gc=0.256factor=1.897zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kŻ[vlAӺ 64`3 ^sX qo6ڼ%  s IN"S9psܞHE{U}Ϡ)KF`5:x6i?(oʙvaBC)A n*`H榚~@~oUg^Hn|6WS=IrbYu{*b#}*_mTOmm0?}d l<%81Wo8딅1 kr*nlXn]UqsgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ Cӌo,c3C"L Uty2" n%aIzЄF^OJt6 k/3qRIy;Fr|"Fb.  $Tzf'p-J w6 ;ȈOF8slgYZ7zXZִF! ,]ŗXi%W~r69?D ^7Cdktl|$ #ir)}s<,dJ/BiCDƭ:,_˞cZq5c i:w70&B*ڰ.@D; H䢤At xc0:iqz#'y%I \\(!٤n)E`_o Sg!uĽ N3P1_kSh*.gv)}Wkϸ,՗J'#Ö"#vmw8:Ǥ@7!c,uVGm")tXlWT}85YGv>k-QYakiogNU}SR?i1-E`c3ʢI7'4~ݖ33ѧ+Vc9*4>/AIv| ǒf%~qvt3=JQrd!p!2OOElX;Fa.^JC몽|:mw .OZ* -ׅ<ܠ*+(rCClYU3^Cu(<4N)sy22zY