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   L ] Category2:threads=4elapsed=10.589cpu=38.696gc=2.264factor=3.657zXZִF!  ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~޹&sx̴ǎ#?|dKt4ӭR[gzj#6;vzϤd0&C |BGJN΋G&Mk%x6jz4W)j-F^s%_t0ߠsQBǢMVJ;hԣAM7̜?ACGhS|vkI%)jP@SRhtgYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaߌN4 k$ˬpW|юC,x4,yꦦF%#fmݤ&N}+S/ $347F0/WeNO=JI>D1рk̺P3?̻bN-C+2fTZލC!axC=JܴoIZ,κ4֘27 p c.ť{dĻ>XZ?(]}kG-<8IsGC6n1=tYDb\;_  s9,I~Cvvxk]!:ª{1ВLۺZ- V=qF5jY+Z4ZSӏ*oR&f!RzSD0j-@,BbmĆWsk=8XA7*t_OWNWdt> ZBA @P$fd?YLĴ+{}D]C~dcBhqh.ܼX/Z ټjo4#R?Kib{|{-P"zߜ؎c{g#ɛ f Ep #λ`CoGk2eoo0~QwcY/޳3яSX9U; <_619ZƣDSkq ʣE)f:$δqaϚ[ֳUrp6GLڧ:/\'סN0 $4o\&(3Sdz^$Rm KBь.Ka0rc3ݘL%!f39esl?I{PU]{> a]p3 dgce7Q==xRO!~h:m*pfiX`a\-AO-WZm|?TgJ^6 ];1!k}؆Ay ^.lh:/!νo7mHx)-z9 -?djX\wd )3QQ(U%+ۿI _ kF"e 08zm9Œ܋RLg%\d[D2ԃ^[X&DU;_UHyv^04w7πɾY3TޒDũjwvnS'] J9gYZf488f1fcc7efdc55b250bc49e1bd466f3d55b86187d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110   Category2