SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ppy) 4$  Landau_Symbols:threads=2elapsed=13.087cpu=25.680gc=1.396factor=1.967zXZִF! x3]ŗXf ) Landau_Symbols1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS9\`o'>Z ҧ:z>SAu"Fwht4`\M7FEl܅6j"ʕoQ0|TFO Y*_s!Z .}X.]Na£F?l#묚+*W9(D0ҳ<ԻOVy.NtYgDRн][f<cIL}Hw@G\J-lSI>̯jeF6(&^v^ٌo$ 8nROT.Ai\|N6zRL"m7XaiJHuy$"uڎ5 Q,y /u kupMҲd/'b?PR !+BT;O} lvu +`QyggMT'<$)jtfF*8Vת2~2 i:ةC4/2VZ^ c_*v7^.L7ݯK. p`:O6_<*Xe^6V-O=&;q}_-&ͪ/_8j̿xN+ 8oRUͯ o)ҞְHPD2fJ^ 1*v$_p|xۖ =(Kfǰ`_M:.sn)b)sH]49+Mt I݁%4=ɠ?#˞x/".0dK-QM&JұO-T368~bZ$~+gCMd'@cE}U㐽ʇѭAyIv9_>Ej`5:N)ij} 4V6IH32^(E߄[˃& }SV껾סU]{?ϳa2}ZGõ[_RY˶fX*Qe;d.wGBZ?_eFbtdBysTfny/r'?Ee£ /b\ܕЂ(f|AHQe/0I#&Yncvȃv_ :d #^:ORcC9XcݎX_)7 %ya=ͳ(&vծ)?w >LlY8 |gAޜznZ=K ˽G= 'v#[уQi-2E֨md>5@=&KLV<{0QHs &#lL!DlEv.`fJ~;bejڐ$Kq\QTqYx 4.zEe#d ~" CXE\3u҂NҟUHdVDsStI[Aw kXSm<G[*qC~JkQLEh|RI-ʻɦd`Cc^DANg4NC +| }%vt% 4޷5ot˫QCa k,)3[_={$)e1g87XNP#Ia/[KiXw)m#0~ZY9_dA x ^ K[̻JFra V5J訪NwɺCPr{<7L&3 oXDHSxYF4Д7XGgYZ7zXZִF! K3]ŗXi%DQՉ{M ǂh%th~tQiF?vp ΙXq .%J>]E P,wu"r"5G3|F*ǴE0IP.#A:J ya1,A#)t[a~t`dIoG*l㵌T`k[ذmNYt, 2}7t\U`5SR#c!0\+#$,}-Vfs[QZ?!hK,88$efФE@v,n9S![*3sV0(x fCQ5 .cUmd&_/"P 㽄mky#ZpyW^[ә .-0ljlK7ZMI|PNaX}QT^/lˈn͏c:2f79qjo4 >(奐h|vvVNEVsi6W,Df푂N!2f&5)M_%@5xb. 連Xlی&dQ},z#*uutt& "Dp кnY09 oh(cPXِڠnlr3p4k~$((@5 7}Mi/MfKbH^۵_u2焬$Ϣⱟi|g O }6 >3E6Ŕ2C|d7 h;.8aQϚ `0)O#(ލ}2!O:ex$Ѹҙ?͇_ZF6xTDw887@h]!7QyyeAB^N$4le N81%u-XYg GLv?-y`Yo?Q,--: ZN0zaW "}-|^a[-4jբO^[x^R(U#ƵS$ޗk/]m vY2b?K|߶Į/T