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 $K Ll I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.752cpu=21.988gc=0.676factor=1.877zXZִF! >]ŗXf1-/6vR[NDZ1* )# rof [iX7C B 93ptOv-L*Ny(CT,ЇXI"TZX7 5wLcI#6Г40&ᶯDE(%3#ZxHRhAˠq  w**dǶKz FR]TvPIleFXV_kyw yoʖ>r 1q|'@b:JVl@}p1 ֧ظ;-HtVM9=gݾu HAQtCu+իe}8dk.bi;bTgYZ7zXZִF! C/]ŗXi%6q?HWH{fTɘ 5 Rn"ܺڬějU2&< {4?$hC:%%mAǜzM$֝uoyK~dK.YqK{BՀЦа!hU!"+[ ڤUKM~XFox1VmG @mxvOߡq/W/vC R$ 7hCbVJ!./+ k#4m Ʒc|U:zZZtdXF %³] ˪NpgTQ=c/[+0 >}D3اŤ5֡,8.{{3O /q Yd_FDm//քwD:~#Z-Tc@3`U< jp9'pRl~bEWkHe[lzV';V<|$[mE8XOp^72}v\u)y{gxGD3b_Gݳ8▪4ciQ|ѣؾ3|)qj(/I2/-W,_wv9 ѽ=F5bJ82Ц\gj,S]7v! p{t==L7纠j\[Pl%d:}eՕ{KS]̿{Zph~ >vX`j)@T{oCa,^qJyT!ף؞U, fi8ɳ>td,gYZ238f8b38ea7cba03b0fdbc3cfb71dc7de6c37e80 8cec37ea1cd75d69e823b1fda0f7a2ef01dd8f4f 9577c44d12467d3ac86d71d5fcc763cd866d9e57 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a7607e1706918d77353cd51207a150f0b84fcc5d c2e0a7f9ce7f4e5ce271450d1bc763513c794f27 ed93f13836f4208e53908d297bb056e36e8cc7b8f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4 50fa91ee8fe18fd2fde8409cbc55ad1420b6b860 36c6f1c5bfc3ec10b5547bedcf3ad4d3c9c073e2 "K Random_Graph_Subgraph_Threshold