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   n 44T ]S IOA-NTP:threads=2elapsed=6.864cpu=12.856gc=0.680factor=1.877zXZִF! QS]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#Tw{Oe-GtWзld&MKG KT 7"܏AO]y.lc>Εjr v ;Xgp$r#  ~9e!eܱ{ 8u$72rs!s?2ը[{EcE,4QJ#[7z30G93 q>Z%lVF3'\SR6s*[Av|i`ΧoVQdTk4i<}:V>αgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#L+97/Oc69ţuzl|0hEonV$Xe$,'v.)H4WUxIɐ-҄%dU0lӪQ dmy^B}܎sS&nF;ٖXwo9Mٻ{hL9 90Lj7#=gYZ7zXZִF! ]ŗXi%;ŰA/JJ: SۮAIN.PnϮ'CBX_MZLOy!Rf-Eм;YCE䂦s,s*%VcBtzT*avx=4ѡLL{O\8ɴ**8&#VbP3M˱e c*C&P 6c5L&LAgx dgH Udf€-O}2:6mf 85ʧXg:Qgkpғ ?9N>`9heh?PiJDa,$2&Wy]/.]+Eպ&s^BD/\"V;,q(-f5wL֝ N5:(%bpDz ٻ^dQ9 v8 V〇)^R9SRy %Z[,ad#,LCGr%mFl3_}YuAY 1-:>;Nc r}u" PiL"9[+IXVrzYԢacջ|y\¥bAZI8۱gYZdc2caad4b1661b36eb8a836dbfbc8c2cdc8bb6d6daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 73c679a1b83e0448db8e1d93c91fc078574628ff c0f69c739879a562d0ca26a9ef3e3fb488c4e908   IOA-NTP