SQLite format 3@ .0:  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 wK tT ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=7.583cpu=21.488gc=0.380factor=2.837zXZִF! q]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_ɷO1H2E,l#+qޏR9͊Ү)K3{,vV\wHef=7B.Mo}Ed%&L4~DR$P:[b92LʽҬ7po iٜ0_k~ǕU8kqv_A R#J?6^_!05`> דi˾`@r+^)2S•C0 U͇-|F7@_ +vߙVgYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:! oά.?A? ay|r81̕ ֜7dܦ`4^!e=1I[+J#Y/BQn,2,E cgYZ7zXZִF! ?]ŗXi%GGiՠ@BBhp0h<顜K`6M)8͹8,WEGğ}爽~*XPRo+HpJ)Ӷv 8PC rwQZvBntzǃxĪ%5] Kt?酀UV+zsոJ[ßپl}^u& oS} K73%߂%,8לDI5 Kahf c 6'TQs{p}3r6 znSIM1zvS&6\%2\y*sPr+w/^oLsܯDa!# DJ'=x%sPo~y40vjAIz=$#Ē0rYPsĎQh|mt]+@AڏYx<== ~U\at!l6F؝)GE)OD `V"ʈ'"hgaRjuG/8nP-iĞK;rmgn  Q= .N\"2`ar9_ #[u$0Q-t ۀ2=fy*E~G)U ;4p+ xht5SB;* tuĶF#TN"Ѹmw9̉q'Qh*4@(:T (;ʎ pe^m8$00"^&U@@(l-?jf_Feo/^[&X;UΜKb`Ŷ^sfwʫ ծYCv/W*/ݖ8IF &5Jr`:&G P8QZQ  Scv QB3堝7Ujuxhbءo/W (6 fvNn3{%<V-n ñgYZ661d98c8ffa3bdd322bf4021a490822a37108c341795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e 40e2fdf306a6f46f9f37690807c60251629825ad 301e0933ce3bf31db09282407deae9aae04157a5 "K Random_Graph_Subgraph_Threshold