SQLite format 3@ .  YYQ77Atableisabelle_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, "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 DD9' 4$  ConcurrentIMP:threads=2elapsed=22.516cpu=38.580gc=1.908factor=1.717zXZִF! 0]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcU*+>Gъ[hK 9:]b3z LKjG9'16UuZIwt60w붏Ke]xGksHJ1l_j l{BH5XFk{n9M6j 8CdQU¥ zfҳH 4HA9~^&`c{Í%EBmmUb`-|;v acj&`KODny]lvb# 1 4Y_E[iI#oyq|v>A׈^E0T;Pa`OF۾DGl^)YA9/EIg:<9_`< yR5aɳٓX3LG6+ؕD">'kGSzzmFiN=0X]ȖaQ>v_MR>!y:hɧrO&4#&>i\ȣ5B "^:mWnӊNMY8.b?ڒ%|V,,L>HJ ʔvy%Za7wπBlx{f7=~0s<ެ4el?]SWR}\բw4l*ɦza?U`8xX NAsa9B tkQ6mA)b<ԝxF.֒u.qP9_^ u~'ok/g3s\ TfT[i *1/+J8ES+ixSOUvGtWۖbhUJhVdC9 d82͐wKTr5-} KRi*ۆWKCz3eՅѿԕ4@t q& lD ō`K V-LIr/qj@`[4V"]o2, "^AT%*o޴b1F#I EK`Qͩ-g%Ę[x^(}_C-FEn(hf2 a&gYZ7zXZִF! p ]ŗXi% v8( W:])2_LɀjvKЃ 1ljxσ@K$"]3 h1N  ]~,I㑊#F24d?$FNcfN j4@m{:h"Nze\8_8̜OGōP{1>m2=;+V|Kw[9P M|ϳULzpXz"s":;mL6#{F * F:W3J$ٳ=fW͞"c{Ëc6l%1Mt0eSP%y `?oO,nP^ u>nXYYD Ⱦm{0'HGV~-s|&%cNEwAckM v>Vg '|-|C2F#Zxi&R.c&b4њ=Dz8:CWZ)PI;1i}þ?1ՑWh)oF^\(HGFmOr0Njyneu`1#zpX睆H$,)雯 A]05W%oA>$hO,q=VQ%zFkpis+1 ` ZPL3)_y!9\10Zo+@WϺؗec ZGŏeaY6ow^YMxG;[•u ͝F7WzIk /@} k,!%^J8*rpJjB{XJC  mͤc` -NG[gl80ivn6F 9J'2>'$?.%$?U U7vdfȚ8܏Kr7ȕt"M}ya9h^KwxX/Y5~{wo=hI"ʆ$#2\KP .̿dmQpdtE:] |oP#di7,!,oQediҷ zv> 4wԣI 4.ѫim<0ڜ2ى> m7QrOFD}*o&62%N^Q=iX  $ʱgYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd409711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef ' ConcurrentIMP