SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  K <\\ ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=9.933cpu=28.324gc=0.692factor=2.857zXZִF! ]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄT㏕ JJIa{Y(6ʇԤ?xgKa"j;(]T%NvRZ٢6bY&}5<8d~sBNC5+uBrR>4R':jsf$ H8oN0a.7=H8^4{盎4*Ly7tW|f5C.Ij͘^?J؇0S`;yO*8 X&#ȱH *$9/!$㺠*Bt-x$shrQRV K֤ӖpE-CDLkLใۻs@^O'Ygo9.xP"ŦܿvWOW;(iL1DӺ)Q{+3F\L {߅ #IJ#P̱gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!Dck؞ķ5  M1OzoaTMcZe2jӮ>BS"zs?Vc/RY,GWkC[0:hlNO.gYZ7zXZִF! CAf]ŗXi%@b^v@;Ϻ~1xÔșqڅ?.Osa6h|!Lٯ[Z.'m0Th+⎶ '<V4_stn(+Np]ELwr5ΚT)z$%GR:?Trl!aΖGEɌTĉK(ӯ?QK^_+lM<`OD|Di4W&_m@6}3=`YK`ЫXhWsGx6k֓YIU?΂Mlw ΃sDhɒB{$yk&t:u*Zθ⚡J_ u9|3=f~`Mnbd8]܉N#J![و֖dE*D.OpD^7* N*tȇ=cv XcE?YmB=}?4SAA=Xl ?JEi)K´S?>5n%yHkz›;={شUB޼ufXm[~jc}?ҭٛ쿣G[16Jeژʡ'ڒv@[145D fP`oR:_i/"h̬Jvds<܈ r?΁˪T("%wL)jl໤J_C9i+l^#5Kn%81wݖ􈐮g-5x|".v;&vyۊ] WG=W۞`c(;y-ԧ0}f Gd+K[ e>nv †sڽgYZ7c5dc11d9895a342bf8cbb53d1e243240edf31919cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5bff1fe22e9b540c1fdfa44011b452f73533aabc a5db842fbfb4189857ce2cd083e884a2d11c71f8 055e483aebd9561742d0b6b2bba37389dd2c937c "K Random_Graph_Subgraph_Threshold