SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 jjK 4\t ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=8.523cpu=23.384gc=0.472factor=2.747zXZִF! l]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_^|*~?3d/͇F\|+msף&ci+s-<,^eN@_z LZ ]_MbKeQqpx<3:B߃roB9secKpCE_& ?mnL5BTdP!Y5qP:c[H;.7.c{ k44 ~ l&l :nT >6aj/9I^`\Hjv57DsA&Kqpai^rwNXۅoc $.0~~gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!/fmRyM(M `DTN< ok}qqѭ- 1z6NN|MoVKF52@3Һ@:\-KۨgYZ7zXZִF! H 4]ŗXi%L } 5Y2 IakF춚_HXJw-bƫZt@}wr|RE{ u؛qi!Kk-ugD l˞`1LBDysr (7$h ^͸Z"2He/'V$+u1QC#ב8ɂ S=Ek"" U棴Λ~KgIKFVmIxR/yG~ݱή^{Sk=sp7~#[ }ikقhFH˼$FhKJ%rO%&L̑+J}(At=0=MP Mo?*lSaĤ&4NoO~uwgڞ:z$ ee_m{r)3EǍ,ٗڑF4$Q:5pf@ƹ0}ƘɼDbC6RH& j|dQض^+}">##_}Y.|i!6z)b6o5bN'Cܡ/tluazңwz VжVn_s7*K+$VlԲo33/j,L;zp ՗oԿeؙ&v =5gx!|@-/5O0~X~<^-ūH>3a]s̫5\:c5l2VLT ׿P[|!w|HPx+z  ,+_@Vj-0ڧ/[xuIr{ 젠\qYܴY6t@*{&ZL!Ws ?j>k c@2O#=?ޝ.Dwo95&Lc'{HPs 攐jpY;Y-y 5KQŜ5'~#g. KM_?}D#G՟oGyl1/Xᖤ@i5 -|zS UrgYZaa4365d293dd491b901d5d452d3d204ccfc4176cd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8552347310803099605dadb02749f6e002aaccc1 47177d52c085eaa45e89b5dc08f0ab30f2f7be0d "K Random_Graph_Subgraph_Threshold