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  |$| ]/ HOL-IMPP:threads=2elapsed=4.223cpu=6.488gc=0.204factor=1.547zXZִF! ]ŗXf1-q恈@"aiє4$K4`W?&lj RL҃ax|n;.xT@ύ(96COKtͫK|"'- z}QibmQ{I98Pm_ x3uɶngYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ\/]!qG% k߶!ktN,uRg +^n!6@,5D%aK\kG֢z_!Zn B{D?пbp.gYZ7zXZִF! 6]ŗXi%;ŰA/׭Җ9cpݠa%Mx% N/`LxΏ "M8:qHSI|P儺cDH8rG ecudm~# ?öyYo)"g _"`K{L 3C%a MJCb,#/Wř~ s},x2l5T YVKA7X[왗Xv=rWLUWuZx=cp v,V;GjiU4ȿܘ5=b꾓Ŗ8ު ޞ!1Ry%ݴ®CUĭ&g/WfDeuQr<%뽧U0 Ea~D%92#Z]ʊ&`Ig", >&D]~smHfZt1glxs@dkؗR=ش^;[3Dʍq7['iYvz2)ot_gYZd791800d81e4fceac03cb20b9914ff6252d055dadaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5   HOL-IMPP