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 eeK |T< ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.860cpu=19.600gc=0.556factor=1.807zXZִF! w]ŗXf1-/6vR[NDZ1* )# rof [iX7C @2|q(gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:! F"/#ʳ9Ă  «, D8]EaӾ?OCNJMSg~KLfw)hr @THtGAϣ;ԱgYZ7zXZִF! EV]ŗXi%;Cmɗ>Puc -k+~'I+,T 1ĩ'88V2,+ G@9?µװci\O FaU?rܶiY22+P8>ꢙ@3![IIO-8wu'&)oN쭭&Q6}2Z%BN, :/Rqc{*99p,v>-:@/bつRQ9j4=whK\1._wkZJAO h0e,g wst&ٻC7Ak[B\[ڬ^Gu_eWLE^@;+Iq`>= 3Y*abT/ 58!Qg/Q,.;jL-=djQhO$2úbl^Q@=$ DAF_eDC0+lc~R;JoQX9*,%? 1C=C@i~"IS [<_>*"yG3ZeN~X'GĮhx-[𸚍58rT H"Ԃ=س-\-vƖ d&Ŋ}f2{nJ/ϙ)k҉ՆyWi+0t&\czIy~Hp=hNިIW1Ts J&O86 9(QT˅MmbL7c[Ȥ kjDtNRd Dy|KJs+#*9ݗy a"1t_|Duc+%+<ƽ1ʷ\WRY.`2D߉sxzjxVʮ61] S)Spz`q8#&TT{p(:5/:* r`e[¦u6*Ļ1DϹ!mݥ5]r W0x-D3I9jY=2B!eZjF[z0Vf8 DCVRgd˶1Bn!]w4Ε %gYZ687c9383c62b8d6f9bd9d1dec8eb909663afbc12a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 7ade9db36f7f6853ef31d44c4dac2bf19fd279bb c967b817277857382329c3506cd014012a5d046c "K Random_Graph_Subgraph_Threshold