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  0 0E?<4T ]]HOL-Computational_Algebra:threads=6elapsed=35.220cpu=124.036gc=6.172factor=3.527zXZִF! 3U]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Cn$wAL-'u F="p ~V]ZAG[4*x!F9b@gKn]z.LO)~bHK(r l9.|0§Pk±HɴZV,%С,2Zg6KX<9ޗxybRM;| sPL&@\ed}c/wؑ7j,xfmc?,&zg!.V# "eB==/AmkN dH!IYQ*%[}71PN0>ԑqfˮ U/n|ǒVJ9VkyjWٿ7i Nۛx-Ҩ$Up=wgh$'~_9:αK ~gBs;xo3PkWXo!#~(bg@Ѻ> ? HOL-Computational_Algebra  $ZqɿYF>8q7N; #.RӃmB%kTDufBoSYM7 ^ r)U%-彗yWqN]O/%7'EϊC%Ԑ^ k3gCwf#_rcI,ΧqNk_c^ZZC bWumz'"E ?:s8)Oaܑ^%\Od9`vef6U#W_(?+8=>;^ [5gYZ7zXZִF! ]ŗXi%@hm/^bDY>^-S=?/7vlh:_޽}1p M\ )Be^*UhƠW sf` ,B.[):H6CAZ&@J:eevQ< n.Vmo AWg/ֻpxG%ng~ 0{2@K K^79 I?tV!@ t_Кt}f_E0=Wܱ Mv?(?+ps'^P/.&]FiJF74[Wlezu8X2ZUP9lð:Q"^!T檴FVޔ֎-ߘ:$YOw<`K1_*o H?n:a6?r<%2 ˱!4+͖4~DIhqTInvi'x9F !6};ݏ!*u }asA?YCoƌ@n-ϖ(.G"5+-ޝDHܽtũilȆ>"#A<ؙ6T&突h 1kD}f:4i/j\sbb'%QF:"nL?"D;CbV/,Z3 ,-jmf]y_`W#3Uyl>Wx ^?7sg3Xh B_ X Bp v"WIw`է-;t2= qNm6\H0{mY=O݁{/S\M,#$p<&&b؊ $Z8KIH!ByN0a$89= Qq\g *tEfEvɽ]T^BAF?R Q~K7]za(vi괤!^2^ cdod)Q# *4[HԎ6l/Vɚg4t1E4]ō@t_B48$9`Wmbƌ2SwbG Y2ք .P6  RaUR*?RO90Z ߺoTAM9ŜׅeZ^Ҁuх=_(5灋BI{{JYOr半)I(N"JWq:Z̠v'PLa"H8溴Mo3s}j$]!o{ARb>+Oٳv P֖h/_Q'#`jP~ܬЦټ"ۉZ{Mث4(Vtq;Aq ;Y )۾<gwzi]N0:&xQȲ@j8}IҧGHx Ѻ^֕//%HľTeߥ07;mZJ.jSocLBGJlC! Hsx96cRlrJP}8RJGoOTF)Uje QH9X"aG 3+IGxXy4mSHVCڍusQdBrgK"~VAaxTLiI'ck"4UfG9}aaMy+%-W[JiX7(q(C=^S"73vfTJ(ZN5TRK0X޿s!zYt2ҿ0xNI-gT*j'bQ V:٠ C?ljNO\>i:1z`/6,%JPbC>\P,aӿpQcO6/@Ҁʡ۰iYR0ߓ0-#9H\]tmH!fhI5ZOx:BgXgTA?""i57S{s,>q؉t|-IZr>9T/Rսw?qkTW9vkM*"rt @=8ԍc-FnIS~vej z9lV٥!9W,$A5Cua ݗ