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 g+$, ] LightweightJava:threads=4elapsed=52.180cpu=104.636gc=3.016factor=2.017zXZִF! W]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы6hÞg q>S盇xHzSNia:axqHN|X[yAlë9i'Pb-}o%&zQOBv[1R%lg"ZAx&!fFVc7A؃v ne*r(*:n4&E[, RoF9Pn"yKպ_Zp`߉8>Bgu%&x&}mzXIvI\T)BmEnkـL`dx#;4N B-ԹcH7Z$HJ](YNrttZq@;߱[k%.Pi6t״g\l1y(42t@tx 5 qbPMTshOaxp~vCÙlƢK`AOfGٙ]]2+(*W>,޻n؊hHރg}/vg gQL1^%VK-$EC$j{SKt?>`*n {Ic7k3GDaW ͯ'MkgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9G8d(2T𧽐m/?ˎu'hXm,F_fo$TNdO6;ZNI`~؀A!]!U9fXk;ߏ + LightweightJava  %؎#k߻CJ܃-N|m4UH5clzΑ&R|5? Uٺng2P @BC& r^#:x`k[y>CR?0:/Ͼ kk yH݅\4h{Fpi匩Qlv?/@[8q'2?n\x&)qW#:Oq~sY6Rw qeO q["Ri}&OaۄZEpð lW1]DPjC2d{zF쩖Ӎ<PV˰ 0.sU}0}$/X˹.8eL8*^4EVLC=l- ).!^S }'I;10Oi[pFj;|l|O{T`2ݺ箃r:K]ƱWدPk0Hu*Bv̌&:q[Xzw?3X-C K5E%ӛ8_&n&G=kK :8e :T| a mdRbkD#uaY0t]*%{sl7(A1 d&JR5R)#r.9dõd"-mc.~Css7X.9w qZ,:mxx7P$^fʫftr]Ebs?sLM:u}!O1\KV,V%V8k+%Yo dP#SqcV8?֍wş@]~)߷ҳoV4(rag/T "흁4OY]GwH}:gM7܏Op E"Pf󉽗iͭt Qq \^NZ{ʾ"5/8b&Q~J-A\*-W;ڂhHQh7&wZ!SX}.nx-bp i喜CQ_F|q)Y2PoL'n+nÚAGG@5[J^Rni >ehJ$ x^Bi*~a  2B;ݎ-,tEVm_pd\WfB^MG՚-qr<' !\fD|b,at fn A˷)kr*?U!YOҒ,aJՍFF7GᔯGRcge4Q>T#Bsَ{FErOs <]rAk=1<卵NW5`1GYB a>j,+N ݀rVIm]g|lKj80e9vZl| n ?[@c\>J61J^0 b7w11:^ 7u6ᒛxnsMA/,wN6`y@hԦGhsQRլ/:fE&% -#!&i^H\ K/lCJ؀A˿S[? Or:s lxJ|ǟ74g9 Xxɟʆ/θҁ51K^bBކađh 3Pd2ۈ ]J7f{s.;F|ϳ@A֊tWwZ,(/6Ǹ(bQݸǹ$^G4HYyzkw70ޫ- Z5xyXHޏb{:-%$mN𣛜cw ^1b? 5)m (]NKCǞ_cM?@E+4do%Efŗu 9&{3< D+Hp ; ~ [Z!|y&"o"3"nSvqv|gUW8LpJjJ0OAbWt8Ɠ*0` dFR]LZ__W.G.geP4f4n'uF% * 5 ^$^IɜISMlws@rZ(y<]zK? gNJ3 hMf7^^|CGx !ɵa߉ fs#cJQ2}Hd >QH *( HʅN7=|(xBܨ͵"KDu뒎X%Z ;_e=]s0/÷VӯyWtɫC9p<@0AefdбgYZ9cf47752ddbf84d7bbbc2ec403d802cc2ddb2750c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c