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 B $4 ]S Lp:threads=4elapsed=24.565cpu=75.908gc=1.248factor=3.097zXZִF! $]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tszTM!IK?d$3TN!'31<|d/^VxxXE?oM7̊l:֑1Ke 304ϰxǑaI)]u3i2J PWWG{\e cJԀ-)-}"CI F֣\MTec7PF?b⿜]B `svcKDH}wqYcGMF SgOм0~ηRLqӧ&O:.p+\uQo7tBGi%15')#SPİp  Lp  ~xԹ琡l/).]Q^̨C!{or? x٦>u6}'l4I-XY^qA?~Y⇐(NϏ[&@QnIk^Bj(Awh C7{ !7G1p=\̲biּܿbAǚ/`gZJ Wv0ăPahY|ࣇJ=/S8\:㹢A%g\`WuTAIgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7q}<.)o, U1i`iAM纓vPNwF{-]=G>VoG5›Bi, 5&ڱgYZ7zXZִF! W S]ŗXi%GgRs&-.X]43]:=VH\[Wk[xCVؠ #6U )5U79Ԉ 1̄TM_XѺUt!4?tDЯ4<#eK|m\-Râ)3ӷݸz*rQZ &I#VR Ag0*Dr;\GZc!S7ØILw'} ݂YG\up<i.-Yq?RԸGV);+Ei b 93܊5îulq;-#uĆ䙱OeiPCX P (rGQ!ՒVPy&$l뙘'cDs$>fȓ%V ;9e~3ݓҥFO7|mz<d?V^jljj;7M ѯ08uJiq˃ _,G0 ̓j13 r[;:U!h0h_ N!xt6|jO?LX唲a9H\țSƴ5#;< pWU(o d7H L[?;8Js{ٮW]x:y? /+2DҗnKGz_DeUۇ%n7h0,[)O ޛ9|i^gj{W*6"H)8!reamr!ƇyNݫM'mƦ^k2aJD]؂Uf畅(G,P >*J +{З[%XDFňZԟ7AFy|q+Bn O q\W`\oTf&{! >'T|0o~M`K{o4WKtpfW>ÿeΤg Ҡ5ҹPsEIo،_ZVYWOב_a nG:o{"^Yʃ%DyPå>`W>jqd`Y/7#n6;EU$U$=[sBI-5ȔcPM^4F?\ޣ@%L@:dP/TVhdv?-낸_ߢhJPF:W+v~LC|,o$^6CSRa?_d8PBNNɔZHU/Tix㉑B;!h{>C-l E䱒\~YzZE0(bLF:@& caf)2gn&\Z*Co0X/ ^ȼ,cǒ$%@oH©ʑJ"A>45Z=~A̺1Є& SXIԨ/Tx;Q- $;Q.ZRzj[v]b`_*_ *M "܈s2AN]hmH"Е|'!@v#324ti,yQ:*yc*gYZf2d09b039675d681fb83e7bdcaeb3548353fb53d1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 736d5c06b62df891bd9077332c5b7dde9e009115 4a818213647343506d13fcec848b2c41d2d07d72