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 ' 4  ]]List-Infinite:threads=2elapsed=21.845cpu=38.868gc=1.832factor=1.787zXZִF! z]ŗXf1-/6vRZڕ`0 lO"Euhlͬ(W}onv6 eOfv-z RőWГy-x駡cUg99C|Ҋ= A3i$pK%0H s*(GgN/dxk8rgqU+p+[\g}@/ƴ 4(_ GO~m^'m/{'ܩ)IHzA3,Ox{:y4j*@M-]G%P'>uvzq3 ֽisAi7Jޟn\:}<.q _)$| 91W]6M~ox%jV* > ʭߙA%-)R^>`\X u'Y4Jޘr$Br:oOE ΰݘ_"sد* 8 Y?G)c28MPqC5nqj Rƨ%YT\S%]Мȫx n|6ma5D/ pb"X-TW1`>]&v t,M>hf]2b ,Iɛ> ~;i ̠Q'L][0]263s V7$÷lU6K+8߻O-A ּ<mLrPI(,gp,b ݇x#ﶷ~B9TyCG!$JSӢT(0BJoOt ϑj 7Ɛ$XV _3eVį9['kǷ].;iͺ: ˻N:nhyLxMmk[Cq~)->2Nttu$e|mj[2B$ (#*PUo"#\ȥA߄̋JK4}C7+>+uX7ۙk7XB>tǔu'n̅aVG*Oʝl[Ʌ}27Q)-Wdèy'H!;)^pv.w[g~* #P8Y0FejYQua%Ddrd$~@.A G&0 & zCIU0%M c^߸ Gaܝ^ S: 4NA|rAvڤ&N0m>xV)2/km5h9z\u܃-6 V Z%-z No9$G`ܼWu%U݃Ql |oT;~ LʹkZlM$j՞w '@;þ.661TnI4-I \О)td3/.Iځɭ'Ӊ^C(/fI"|O`ot*5KHl@~"K_2~"qS3@7{lybMVᓵy55kt7d ZrY y=hLJiSbRdD:l%E('f1%Gb!5nHM{ Atk\B 3b|cՃN @%GpgE^֘TQ@2J{!c..w^?MӣWMAau{[?D` } pqu|x7hw1 "":Z8 R gYZ94bb19f46874c3355502d4a74033020126593f0b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0bb40f2e40d48d88c73e08ffbe1f0438fa17c7d727 ' List-Infinite