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  b1  ]/ Depth-First-Search:threads=2elapsed=1.133cpu=1.628gc=0.000factor=1.447zXZִF! {]ŗXf1-/6vRZV”̥k2*1TI g~{ȋXL7Tob6Ѽ37B:3lX|H SS/I 2}ljbmVsfFgYZ7zXZִF! J::name=Depth-First-Search.DFSelapsed=0.635cpu=1.024gc=0.000M3kcKWX}YZ7zXZִF! ]ŗXi%;7dnoVO}N{BRc|Eo\|t]h/4" b,*X]Adh5[Xo, ^תNYWh|:)ћ~T҃DGmX+ DGx萜n܏ڴ,h"F5ޞTroUDc^yg#FWS3}D\L)#=˃LæC/@wFO>iN  :#=8v}si9kEjcI8S88dwQݼ颧)J%=QB6MʷQńy'F\v˄)]Vpl}MX@9j:xB4ˆn{ y0~>;ҡ༞44e]y7N &6B%A/73@ͩ)`gYZ7194b37a36d281c3f10c29d48c1c0763f5aefd9379d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 1 Depth-First-Search