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 ss + \ L ] Cayley_Hamilton:threads=4elapsed=12.390cpu=39.940gc=1.532factor=3.227zXZִF! ]ŗXf1-q恈͐7ӺV )' (jև[gzmIDҫ4&Ի?Y ӱfbsj^88N4SW=2ݞ*ޞM]_E6F\X;D.x$3l Q=(1M]XFE6'>%&DǶ]i9|'w>xf7DVfYV=UhBxUEhxI8lkUQ 6}ٸ'q_nVDB,O,՛a7fuV4rLZ03Czr\a\\yao0EzO$Rm­Չd1Ę܍qW=xГ.7I1͓HOF2&qQ_s(/Y-s2 _;t$f+y}&pאguvXݨM:F=`3{Bޙ,Yl9wi7,;&iZW罥0x0 @.W3 so{2U/s!l#Hc)c(- Vu%2 /r7m*:+gYZ7zXZִF! J]ŗXiɟ1˦r w/8OA~ko9 V1ƃŎ+!g7d|c pGԕ,"'<%ReL 5'멨;p6ʓ+-WiK ֜.{gx!w4{PkAZV?˫ҭ3u<h߭f igYZ7zXZִF! Y3`]ŗXi%L x9:_UKe+ח_NŘFyd/%/TŻ]]M5&gXR_ ]XaKtu 0I vlО 8a7k%UKgpԋ_a{  0Hc 0ᵧP0) ,鋀ױ"1 cJX |pVyn d zQR`k{?k1ͦUQp4C;[^Pc*OwwRϏtBN|y@1.zsfPi2ʡ6~>*ݝ[FW5_QJƇèeoS<-LɵB43s䔻,ЈBW'WDfo9>[%i(?!Y8f߇Aj4@J!tJ q4cbsMcٔьCC݃mIU<5b) B>i V/D8?K f1Й)xEx3i١näުwo-9S9{&'q4j7#NR f#"WP'F'+!9kƐj}͛GfK>%c+D)PA$8:4(VMWBqm+,ǽa<@G:P_Cm3E6d:D\qoDj6Ɔy -*C=W?dF*Բl,D_LV_3+9Nxo2[#* -}X%c5 ΣHA9;HdE/!7 Zja|^ ȵjS4~NL,sZd` 2bSFl- YYmyl2Bsנ4>;CpEpn$pxCp.Dlyֽ-{B( V~%uP~ӧ#MJ{FktJڵd\ςX%=7QHu~l $Y}|y!՝n"?Ws{R4}9}u"Ǔ2L3.h1DC|V_&yL)sB_(t-m6VgZd%y)=՛ |`I%A&qgR