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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
,1t,$ ]/
Finite_Automata_HF:threads=2elapsed=18.349cpu=30.812gc=1.384factor=1.687zXZ ִF ! s] ŗXf1-q恈͐7ӺVw;GOy:Cir8% NVKh^̐n>VAU6N\[_ 4W mW=40b:$ZzO@
wƬI_={w&6:Q.;g#Sds]4rELGF6F6C?d $a}!OM+J7K(l Zi` !pDLo9f"4r[ŻUZiFGr㺚3,[{|߸ Ўݭ4&oZkld_c' R_bSs2_QTÆ2PYlҎdv~
ą_Y- k'Ә2B
z4fQ$*ZW}<; 4Hw]ʷan%xD2=jfŰ/kṕy}Dž~3h\8!㤘7Ush~7=OSMw$FW1Z}Dס81 EW^~ ) qTg YZ7zXZ ִF ! ] ŗXiɟ1˦r~KunύNN{q4T4]SjV:NahG,-B\ut(:}؞$~с=Kjf.<^ſ`N0\=x\['!DO<wbM@̿Lh / HEg YZ7zXZ ִF ! jJ] ŗXi%;ޅf#26`"VD(߮@)8j3jQQg(e@"k81qf]>L
=[re{ry6UzLqc_X_qmVoNg'Adhh'
d,$xL,H!_"lQXddN@b: A-TMޡ*E=b8ܢT0
C'J%A糽JO%,;QR/~jf$@D:cNF!s݂z!d TS1/Z_*x+Ji[MqSu#~Z`gJ~Ybþ[XCCiL܆-D>gl^3*?L+K >ڛާ.A!Qm4"Ikpf
O@ڶ'[HGT/bjxʖrTȹek%LPNͥ InbGw%ՆeHMX<C?j)PvQpQ݃J>fNwNF<f<_{ᒡvLh2^u0c\'s*j+\w^yCdffDRtĖDJViY}V^`lQvVȶ\bGIHoF/fsKęc
X
R0a5zk}d s'geKVId4ԱCI=V{Na|HsQM] ;[-5:ټI}=&q\C&3Mz{v<<|/ꚔZ~U5KYkYF$a)@PT5=m-
@Q|xUd5/_"?6\łc;3B==,vq89
^qF"َ擢첓
ċYol^EmWI1<1\fCLJ-qT9
{$#O-^X
}"ꃨQQ=
xP`DapB7JZ~:qrS@燞>}w}"WhQ/E)PHX@xkcI3ͼHN K'chqZ$nG]ΖGyyh 0v1?㲕TEk}t 6>I܌K|0fyMeDRtQ^PTA_˸e~vNrVK+})aO!soo{߲B29IJ~µo(d֓**a@$:N%-6U