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 l9 ,,d ]/ PSemigroupsConvolution:threads=4elapsed=20.736cpu=50.676gc=1.720factor=2.447zXZִF! (4]ŗXf[&;yV2}yG\V s])Zjz].\eu[`unu4gw {@9@WpO7$m(hx|*O(4o ['94z,Zt8:یu=YZl]jOoȣ$;?l5d/754lWqj"*ki$ygDُdQ|u3xé;O(ƋisuP!hLqy,!&]| ][ZބOn&>LoRftwz_0Mf, #kQW+U "(׹L\'g̡8`}{&6kɢeP6H'"`'zn ֙:讘K|Z ۴9(e2'ǥ^f;:Vxw K1`["~AD9ETՖԈAEAtYäZc8H%wk7U6wŏaE @~4'0!W4?xAIEEA|ݦJy |+aKϬmu FϺ oR&/:ijwS/ ۱dxؙ,LL8d2w1Y@b[+M}C{>i}$A#D0o7vu,;f ;oFs{(Z, ji^ 7p`"ɔꐾn>s}k4 DZ\liEXUr\wxu Kg; lyc*vtisprvH7k~Lm)`.ý 4P]⏱gYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P.ʸ1'M]QAtA+o`3B2 4XCY7GJLxwۡ['Y+`ƃo33L.x:c{u5kGx9_@p,[  ~oTNQ>>۾IgYZ7zXZִF! n]ŗXi%L SR} Ix0M8S:`+qȔ%VTa%#OL3SّbTfD0BI oi ;GjmRcvIxTRS(da//ߘ;$q t LM;ʨ‘T+qT:,*4ƾ+@f拐j 2|Ee0qnL]uAŝOѱwT }5A-ݠi'Lί, BXvBA & "R啣`Tu/lg4x\)@&'fz&u ˲ԿFSt謿{ U%0!N4#X$h6_ b L:TF "|`O-*e.R_wNʦ뭸zb3iڏ(94:LԾiyӾo֗nDDzc8*LM"pFsBHNFGHV ު>6t--~鷜z' Oрɂg!9lyuU?"\3ɿk;?AU]'JľALICٖ@1$R÷Q72QzZߙG?G7H~Z2jU=L#qoRzBAO7([whT uvrYaj W=2tE-~v6$EmGs 6RE2owTUZ&cp㝟O3wOUi5/m k"h.qC_1ݸ# }Ϛ p%jӼbqӮaij;q{4^3D S4 zS<Ԫf0SSs; X&4cn:r v*׌]YypoR Ip^kݶawt a6)^}y[iXF|Ǵew/`]<,1VR_ xhݭǸ~ {1ϓS#@ $@Yu0nZFߚa6,3"ǹ,"B5ř 4Xm)\ᮖjTg36['*O21I = ,(7(J`l&q\wGݒvΦj!8qDPfzWScś\U`zg[03eݱ58>ϧ2;DKy(. `l-"=!0\DRq<䍧%A ('c}xԟ[.UԜ 2e` ܅ܖí!'R&yu|V:zh[t1#f5y7Nc祿̈́ŭvQ *wg3(c%S߸0Am7''鶘yhS#toT Ӂw۬cKF1p6˫]Nϩ(2Nw;$L1_nJ!,v|"cn! e-}v`ASy>";8{THUGpBHVb-1t0o{p Խ1m^onj^SJjd  DޟKJ5NdJ#S,GPO >VWUz1]< S" ^8.`1|!mBWr/Q-!y֍yYF9`4LnO, 0Ѻ5ݶ