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 b; l / Proof_Strategy_Language:threads=2elapsed=0.890cpu=0.972gc=0.000factor=1.097zXZִF! ]ŗXf1-/6vR[3 GeL]K@_w.g-. .auj,wi!.yѬ$J"y@[TS5,"ʰULFT Wwqer3{P%k.ӽ9&k.FNaǬe:~^b j [gYZ7zXZִF! ]ŗXi%Hﳁ:c fhmzVA ?2+c4ܳv&lY <2]^qftͰZ ; Proof_Strategy_Languageg.lҴ˰+׈#XF͠-U^Uѥ8F[l5!]p:09,Ş1bS"d%+%V LO43j+6OFY]T/4rjRUoL Iij;gTF蘴iX偞_"`_1(uΤ/)1EjT.rJ1HJ;e#H ' !DC~wHQ*uGmW(>}d@;o3~$o'˃RI l?_9$96ygn.IkԅFc5n] ܥgYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 12fd8ef6a3d4eba3110281433fa5937269030040 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e66248c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07