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 m'rtt ]/ HotelKeyCards:threads=4elapsed=4.537cpu=13.968gc=0.1967zXZִF! !r]ŗXiɟH)0%o_)B&Qq am [vvLQ 8^t>,mFKݫ5D:x!Jhvǟ#zIbڼțXDU>A\GY?F1'W\8AT%09(թi޲'Cc٠h]5~2/'^g%vV="#N&WqWmuwӖ㐻0~QC,y2W:ۚ%Z8,BWԠzC}6Kwd]y0/T$yuIñ:A).S2"]A M3 l&fF۪,W6ϣ4f &ҥQ]K]8뽳C1AK (H5C5o8(i>^8)@٤A% )luܴ" 85I(Xv%[e,%:3k7th*'3G(-jZ/ n-_U>lVo!Bn6AbNl=yki43O4d "ocWm@& *> e6oP*8IfM"ԉuS'fMWg3|!(u*"؃bSK-;z!m}Y=XuFj߶?#t(eOüFqj;x6Gޣ:6ZȤ;Mm$dnɰg'cg-mrj`e`eܞi>#@"Ri/dz|ߦ-HTǍk9gnmTMt&c-NYA-\>!p(&nD2qTZ-C{RoL֪-kھY4m@3wls=*iU5NQZ9|-p߆m ۻ!+^F-0`ż͗JϏFڃOJ`B4g9g@syѶ0ka6W2Dm!\R.&{RE͍DWoA!>sr ш@R =YoдAc sD獾 IVnM=4~.4&^@+" K+}GudT% 92uy @ ң[O>lD2o]8R? >ze 2FJr,n`0)^}EeYSk_|r E%  ,x8:PQ Ζ䔤h,-0)Z_ηZ|YbQm⌯Ds!3$cM)_~֙`^& 2qb$@..7c?ոV PtX-N9?ՙXXDV1#)6dء86tQ)Z`/Yv}IK^/R. hE"8`tuUL|\oI$mA=6wknnB*xԮO_hn•$ZCz)z)_DP$*l&`194W=ƾ% @m;PRBU)5N?kRDʎG,s'JK1!H JVgMa^؅G1jg-&yJS=ԢdSνd@)'ǡ!|GvA%k0riVi;^Zߐ?&-9rrgthdaiӋk]54bi  ΖÑH;as ׀SDa0qu3Rٶp)Ve b jH۔bG02 J:r-rbqE,C!@{1X _/6 #YwrSJ+o_Iu|d FW}ҳ.7K$UB>\d=m mI#H.sUO /uW =ڇbwC,-J#ڄZ1gQX= :g4Qj/1˲XN2kł TA[%NBbD] \cCeZYVT2R1)6+mEm >_UaǶ"ʩ p|:p%՗,R,Gqpտuȭ.Z00`\Yy wLq 5~Sҡ@9~ϰ -$$i:IhD5nm ~|^aؐ _]0ƬMKY5L #גGO^/|3s>cHATK]u)Cکq4_/!Sv$zٶBk=/Z'Җx*敥3ZTBSN/TtU4[zk05BBj ' HotelKeyCards  m'a\d?&l!ۡC1wnVhc$v^ŇI joy&?/esk&CN 85߀ sR&0 piPA Faۚ;9 H"]4 pX {AAUP(:T >6Tʐ3bI 7gdn|RLj̍vF8?˚ցWXK(.+Ǜ9)x 'NIگ]qyopì{weF^Qz$ṕ qȩ9 Yl6qY~ުqe2m3MWUOB_s@Vc3Df\BnTY*,u-Q5r.LEd simƱPgj7I/bt@Y4x6wRB-S{p79;calޱ赱C3 z۠Q zns)A_'zP*ׅiwDrFDDC(&վn4(Nn{p=k`#^^R'Fj-'Y1eO ƑV0a"Xzc'/p57)ja::CtDL~*q-C9wwӄ81[f&3 vr }lG$~w.Wg%bՉyA`g{>w#4v񬗶lS+ '9V faI7gI1ȱL|轌ȧ2Z0L\=%D[qS˜m%_V XVY}e+7|Tׅ170!&.(̴q$Ǝ[6>[:m/

g)WC [t&3̈́]&"V{U{iRUZ0Lj(wEs<M1(,f3w Z&+ HfU o5FWF (<*y#5UqLE\MVO.ph}bfH}6@#Nu .@e QuG7 5)!m ,I6kaN]q#f;Ȑzd\$ߥcJ]m". SSiE'}*4O/6-TIL5<;z.S%˹.[9z RcNub[%[V} 9E;an%葪iD\^K㣩YiFCU~T@g$j3f/"(*5ܠBbL Jd!U"kx$8v2\K@BR %/q΄F( (z Q6&V6KuOu@OJ58sNURGg WP@a~ѤJZ[nHC#݄.W,eĪɤ Їz_Z<&'s('ئ 97t4 8Ήt I т==E| N&tq`%}(e]\;?L: