SQLite format 3@ . BBh77otableisabelle_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 + T$D ] LightweightJava:threads=2elapsed=51.531cpu=77.468gc=2.948factor=1.507zXZִF! Eaa]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o{uB3ܢ e+&up_yXjG@՗a@IQWʗIۀ_ RN bSFK#hد9} h}تA yy?u ~F$ 3r7WsڪC~iE(#hgT0ͶNRAoЭ Ft}IzӵLb5P\).^`wOԢ-^P:".`[篬*iY + LightweightJava'E4cIߥh*kWsSc%opcj 4U(zQƘfPڧ5Cv#dun‰wxl~ʭcz퓪`zm/L%~M|2w)oJNF(9/{)k*}&; ioepG4XC#NZq !pһy72&ΐXl沴jJm̯)dWڬ7~e9Q]*dz20a1px/g)s5&'ւDeTm<;P}GMvz3c+Q((J gӤS4HYwX;?gYZ7zXZִF! ]ŗXi%9(PKYHaF$滫 Ƃ޷dxO$i-$ˊ|Fq\pk_|NǷ> Z|Q>1v/q7B s$ `* S|ҤQ6XanRF] ߌ_ *_ ;ւ+وGE|:e3 sAACedx| DHL q&/~n]&5%ZKgb  P68W1kqKkH>5ֿ5O6ik56Z~@)&zu]H@;˩W{CCIZ0m(ۧ|%zY[q?G^]/:cbu>:Y̙\9f5#M fwZxǤgF:=jӚm/ƲcT $yA3%АwmUsaL ̗=T'qû.J׈wKm=nn5."EV? !뭶u+:PA2ׯӫ4v8+##k: ˚ E$GLR?t1%NV'fgiLNRrŚ/VQ8#p/?{_?KRR](T#ޟ .v N?[; ςu i]3盖%-+^}:M&-^&<啯E(⒝ADEvDVM,<_3Zaڡo# -V!o'A!_̬[0b60 o׭qufqRz EtoJ:hI)A4l݂lJng]vי :Q-=-aXTlβ؋cB*-BKc(Qs7FWєٱT8h)~me< -"g_=Ds $2A.l ]%p w bʋ!vhoB2v'O\-NP=}D\I-tE"9aViT sJ G1 gp!Ӿ~wWzU "M8.W%RZu%>^!O*4Qn}Dh+X+;z>]m`-{Z{x8T5S-Qafh2gPfy>{HY#4AG7{*'Y]߃eў &" N5ҳ)D4 #ĬJ6YD('AMw֤E3Uș)sJ?N(#tV'h+ueTZ[X2ju{Į:`uc˧6*.܉ﺔ8 bWp2!N(>>? )NV5S.zs^llpqr>10;OJf%h‹(4%Aah7?_uMOeL׺VgHvzq(tP}_Γ֒r<;rtr6Kϩjuoɠ٧][7rFϤ͵`A" {Oq;1MJ+JōT!"sMfcDSGی-@j##df%܄՚H_|ey.&wjS^4*Ã^S+}j 2vsƝe\qޚGeW}f3Ћ/HN*J\-0DK@- G`؉{} z7;:Vfa A:~;i\fT'貍[ g "L` ]R{ j]Y}O]MW.tΥ/i):g7ZlƧd  0a3 N>U3Զ*N} _?LjaߺZ`JgYZ314526cd5e59ad5eb0dd179f5f63f00dd0f56b58620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f