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, ]S]KAT_and_DRA:threads=8elapsed=19.037cpu=97.793gc=4.165factor=5.147zXZִF! 8+I]ŗXf[&' ;/GOg$tt~ng!U!W<v?Rh`BY @ƟfgY bwm{ʧ1:;ni,4Ftф`h%2π}FW&Oo\m8`Ru둨JY45ǠtRqo#?ebg`a? j`3C mA9w37Q,3}Լ'S>^ɧi9Emgծ9%x~T;z EHìP7b vZ<KF$'Tj= D!Igdj A¶5 # KAT_and_DRA  y1K="CH;˃_MV Tle)\@N>|oj7eDp7o8!iz *!G-:;+?f#F"S0MqEԥ}7 QC^\R( 1R?4쁪7S,`. ŌP7N'[BHb"q-ŐDQ躼JtZ[Ǩ1X+Ã mh+ǗLK)^*mϧ@RS:֟(;gq*g:qU$f| }VW^K\G 7W?=DU Nݾ@ wR)OgtY@~ϣǿ$kXn٢F8";bJ̀7;[nᴭgLx\D}919&cL68Ly\d1:aaߑ-sΫ|I42=sW+7J-t2< ~qcEDsf<>{̡cr\>4ja}ØFɞbu FFF FEaςf{Z;-` $2~h"4vļU"wJEx+um0YULwMDAoy? p gYZ7zXZִF! "]ŗXiɟ풂z6Z3CsOH3e\]7)F @;)ɑ a>&e1Fg1kK> $x?}?u [vܬ0l\ؽݴBp~ܷD6j9,p_CYre%=}j0y*0nɑWtwWuF|&f@S]k;Qx2aM3ˣSC`栱|k1t$a?rZ6x&ZEDPI(gR05:ozgrb@jRJDZ8lh,nTrZ!7"N* :)^]ߒ$! $V&)ZyƀV!`&I[ޗD8e慴>Kr s A/{AG p:} ƁWM9ue#, 甊{pgcy:\< VBm>ʘvuggPt_3FRhSHiؑFثZh%!;Vd=3s90-45TN>$C^W-\dc1/SCF/Q~Y>֒4.ؚ"mWk4Rȱfɵ]\qrTGcn{P$K_o/'S }LO܁Y[leU)M1I? UN}djM֮u18"-ap_l 9A?6^[`1ǬkXKZlOSM):qU4jYu3UdfTOcxS-~۽ctm:6X1T7rH@bz떢HKi ^P +˞| " 6^ E; 20[&QGPM]KD *K Hj@n.С4/t_a+-/MLL LAKmI|Ɂ阊u`MF}5j<7K_ PVW -|t&HIU ,~hLk>cl̇O@5W3zG۟^x*[`Fj yJ5G+rEzm>6fK_Htq 1Iزuf^uZ#%L2g8@.󲒵p!pq&`SRE5CՇ( iHw[=5P~%(y )*YLwxw i‰Pc) *tZZ9OFj SLd.oL >Kz"aFzpDք] 8ֽoɭUSn{W}cv~RHjݪI9-‰/>>GH.^nd.h_jhҎƪt^^~}iLK/o,l<=if{Ew|uCP%,A_% k:Ѳ԰pt.ćjO⳹'q2,-7U ^$3a~؋yNXq5 KX`Σl­<Ysc@1` /rfӷV// N8~jDwA&ZbAܐ75t1( Qͼ0ߎ=]@/k<8vk=tB%퓥aXP̾^n٫Rej~zI2sRRfŬ?/G̵Ya)Ѿ`8|D߲Eߍ(@G/ y\ O\=O<]`߇|tJ{V3LE%h?0.]4uRpl# 9bq! >]"6I7M͞icO;gE 4_+hVfMc3Gzv-vlOA`+5yP>qdԳS[$󻄄C8 ]TF:SZM궗>ִØ F|=C1g$ۼA\-9~f1L|z r 2;hF4؃]>v|>׸Jrn,="[|,\39oo 'FgYZ6e3abd76427fccd2651c5c2afd672f2f3eb6fa85c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 63aec6a19b97ff5877d55a98daf343e2f0e7427c 378bcda6d16cb7aaaa8d6273f9931dfa71a8966e5c460b2055ce6227d7c7512c748be2fd6b1d23f0