SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ((I1 T m/ Tree_Decomposition:threads=2elapsed=8.328cpu=13.608gc=0.396factor=1.637zXZִF! J`]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(eƾ}j12i]L!T-\[T,/ԭI7/&LJ%> yR:02*li:$+ū $FL,tυ!@ gm&h@^}|ǎԐi{iI]-'akDUutWʹފ`< .z?~)|[DkWY 04ܑY :tOR,dbޟb82 &\WJ\h_)Pл;W ) QDl∮rŬ5z4nM|7 W q6Ƣp(",8IU ,7 paZ*@}2GBd0 a0 $Ż{N1K(6Od71 9_Zv FGdFؑ-**sHPCT;pSmwGoPQ`"4X 0J[׈ iͼ"k<z-W&WOSȓiZL6Za&ZbһAbW ;ԉO \zksm Q+dty)޷ Q"SZ_ODSn 3uo2gG/?$Tl1E]ODXȘ+$ln@-#:wh(3D)4ArDK0U+,$e$e3OTߦ{_VwLL[P̬662ttԤ|=1__G uDFx;} KQ]E>C (KccqDtq'VF* (/96TΉېKpO+do|\8%#sm "CJ#6_uFv`K.)*@k0. C r͠.5O^if1w CX0:}I<.HEW›uDo`HS"Z O،"uh}xܸM!̧JL*4Ҵ8U*ʴRzP[^䔠qEIcMNk)gYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07