SQLite format 3@ .  YYQ77Atableisabelle_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, "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 hK tL I Random_Graph_Subgraph_Threshold:threads=2elapsed=12.362cpu=22.916gc=0.584factor=1.857zXZִF! ]ŗXf1-/6vR[NDZ1* )# rof [iX7C .}Ao\qFC=ʾ86SQ:L}y'l 7ɕ'GL]|{WB+. y^^7gO"1soBYwC/pĺ̿vJ+ 2| Q0,!܀nK%gV,UЂ'ri{ggԖPm@üshZ &n^#-+s^' JI;$a GLc;Дܱ5h̚& 3{^KP|l@ 665|ok#89:uPYhd1M=AQ3#/A.Y=3tX)I;0\8XܹFCF%ϝ<~1KNuxܷu'%ħmc0t^ՋpSw??j=m|D7`PB ,XYKcVvCQH'HkDuExuʟvG2n8{WbXk2{3oB `LhlkN_ ,(1*PJOxejh§4 [4pP!7a>Op Ca_%09Jv}Pp!"~Լ9n-Ccɽ"pԢbJgYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd cadfd60bbd70ea043ffb5760ff880b18f070e51f eb909c4379772f32c76d9ee8c7fb52cd7a871ea9 9b097e26a4461646794c70aab9dbac636160e9a4 "K Random_Graph_Subgraph_Threshold