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 NN/K TL ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=7.221cpu=20.212gc=0.368factor=2.807zXZִF! F]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_hK0$ڥgMssP^A*_?℆!m: Csd <̀C '\m#tns1C#\^Y}Yf{"$L* o7Xôt͇h3!d. N"22ԭyI=>F;?cV^':ld?8Ֆ9H޷nThgYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:! }sULXPmcd<u~W u4i:,"̬eohoή]t0u%îjROۄe^aTeT;1]|W@rgYZ7zXZִF! ?]ŗXi%EbݕW7975BY'CHyQi BhxsWFb{,:BE3n4.uQqle8]<%;I4 `P_@k U~D}{r4`Pj9>g@~-ӕ ,{'nGmwJu=Gi]úɗ@}1TX+w3rhOEh󴙐qqSjm(SM"鯕TnҝHd4e_U%rb@%=F\sS>zF5OȻ$VڂAq~v %Bl5$ =vkn:7+H;@ hZ%/~ x<89z7a"í`,?8e]ZVGOT*(tpR+g[HSD ZT Z\KT4SӾm1ЉR_1/~B<_ "ƑG;ΐ05Gx <|el>i&u)^ AB'9Q _q] :" eׁ}o2dȀt.&ozDSp,T%S3^fjs0M4ZO\etN ~q $U5Qr㱠2#avj/\CJzy}#,_>fwdrNIiSl`?" аkȝ(.!EVroC0jG5{Ī1T