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  d d1  ]% Transitive-Closure:threads=2elapsed=3.726cpu=6.712gc=0.300factor=1.807zXZִF! `]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxnq3usc~l8M)EZo՝l'l|dxϭ7@@u5wKBfxD14qʦV[,1;Ȫb/]7r78j&Qڒs|V1kK5Ơς!ކm0e.[SZߦ[tX=S+ӷ,gYZ7zXZִF! /]ŗXiɟReDH$ 3gE= d nm.qږ ك1!#|L,٫* pUUD洯>YkL\G(y#Y?Q? Z4vJГG]= X!@sTcb}m*L:> |f&Zh31{>ggYZ7zXZִF! "]ŗXi%ύw4ɵlt9kR@V_xщeLRue(/ H{!W=~h8=c@C=d}sǧ̏I#+LFTMvr]ɜ`ܸ0ywe / PsKq}5ޜM~W+P/b!R]c࠭ۤ9}(JCGJ^whpnC'w;;z|”R;< `N܋X;il7$K=yF:ҍXv&8gpS>^#ÆFsx Jt=EaIЃ["_k)/9@8oC:+0G Y;rQ_!@x kfGE'z\Ÿ ]D1⹲Iw[k?î=8^5+ ƫy:W]Fuή$8(B'/t&oIAY=+qE(j|HQ Sƍ~@5A[j*^>2NmfY%d]~T2I%?!?((%Qlf<.mЖ%F2Z&L3_;/Lph\^} 4<&ោ E!G(7jCDEgYZ8c4111f735da7db0e20f8c5a558a9dbe3ce1d402d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 ff7d998c21f1aeea0f451e525d3734e07d972d7b f81f99c07f51db947536e0853024d9c332833e2e 8bb8576680d294638ea63c1241534707c39367ad 1 Transitive-Closure