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 4K T I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.670cpu=21.876gc=0.552factor=1.877zXZִF! @]ŗXf1-/6vR[NDZ1* )# rof [iX7C pͻc eo /x&\er)l0S4PQ>vvƏ3\M݌-0Rd7.{E=B:t:jFQ&9O丬}ͷΘjnRTMgYZ7zXZִF! A<]ŗXi%6TFi`<KvY}MhA@[k}͞jѼ[&IPut'j۽\JW 7[4;c2y;vP7=vAH5BF.osOFA?]*-j ^ԼF9Z2%0&!$ĉ\L^VFQgG{B:̒;jٍԭ--Az% ;J >biϿ\l:NGw=z@ܬf $3ƲeeH pc6￱ ƊpぬNNqw<Ma 4IJ!W\0[O\cρ/(~; YG(0aujQkliOxg#]bݸm]KHB,jhO׎uIp]h^9C? ]iҏcl٨Nf >:jʟh#Pĕ<0CQ xbo>)B>Ux( 9so7ҊeHVW*35$CR; 1aYPg#f6?6/ݗR҅ID}?PD3z5mNݢ#Ij(ҤFEX8V+f${6]?! W㜺@ze-:rD=EzD 쥦/N^ רIl>GQR~?bn@D=5B5xTZf F٩zX904=. wQ߈_׿fX ٖE ˚DՍHGHڶgI7~ CʃaQ${ђͥ_u3Є,o؜9MH|VP1`7;F6'(^N0QF~x'?[w;.rrd3r&CŰs!@4g_۵HdTLg(5f!~zlt{P}gYZ238f8b38ea7cba03b0fdbc3cfb71dc7de6c37e80 8cec37ea1cd75d69e823b1fda0f7a2ef01dd8f4f 9577c44d12467d3ac86d71d5fcc763cd866d9e57 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a7607e1706918d77353cd51207a150f0b84fcc5d c2e0a7f9ce7f4e5ce271450d1bc763513c794f27 ed93f13836f4208e53908d297bb056e36e8cc7b8f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 56381e65d929be2b28a6c2758bba2a0736db6379 36f7c5680915ff060da0f94cdb8d06f1e755bdc2 02f1fb67756d67cc0dbc9b8f12a20ef65ee2c3c5 "K Random_Graph_Subgraph_Threshold