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   [9 ,T$ ]% Dijkstra_Shortest_Path:threads=2elapsed=65.075cpu=81.056gc=4.136factor=1.257zXZִF! ]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS.2wBЫ$z.*ݜL(ފZy,J3!A>{qcL~7#oU([OsX K"Y҅a"[Jjol4SŞCn+4}0̓NdOt{('c # a .2Fyn7ͩA @6]ٶoذLB. +JF9"g Y]}b.}-Aw/î)UF'&O]"5rV]J'x]'aN W'fcfV$Z&Ф a"mhM._L¼,P\QE"rx1B'^αN5lb,s<Vd@<:gYZ7zXZִF!  "]ŗXiɟC3zto?;QŷG'&tCiZ[ſ A|} Nd^itű .,bW8 BtC*8*0gYZ7zXZִF! >J ]ŗXi%ή++tRKsRg8g S۟Cbϵ y\%i{rУl4Ja !oPBd1ŘA*X8Y\͝%veĠ2=j "׵O-nfE$ [4eT" )[{ S1"Ev%^K/17{ Anr1TqtBY̧CD|D!n#3PsM|jMsvjQ}^kCj LɍhhCu- ikW"Gqc L<Y|V{A !ʜVMÁ:y y*>'@UE?92Pۆn'aNƜ5 lIK]ߨtGzzp`K_ojQɇ]%$$kk#u;\?$CΗyEZ&)1 ~Au;D p+"ߚ<2^]R~=*qmPaƟ|aN.jrD *BVgLZtgːga~؄VT;K*eVxUv u:]}A͍^isQ!Ȯ/:4&|u6q-SR}Yջ93yw/ުN ϨlJ`њm~a8Yp#k⏋z>cǕFBwRfr *v6flUvN&jo'| Yӏ-qC<{ry&Fho0$dCNY,2* |'eS8}!vZ //1%{.~:km}2*퀘n~цO@HM,E?kFvi] آi1N ="QP(USb,EКB!k`Ly/NXq -o4ϼ34X51mDM•UyiҮmZ𖍁՘v!\F#_.9S8Y+vsXߔB24%[5z<|=2#smyyGȂ~_[eMϳ(#:: ٯ -Vhoul!41;k7\ybq˄حr!ߜsS.(qDlRG8DdkSQ/v% "2 ~9Vew0R&pC&H~U,3rY)6Hܸ.I#-%*g3)&Rd^rg4MI„Ku w?t-,q,8H} EF@FZmk=p`s}QyڽLNVmvNq 9wCl<ؕm U1*Tlѐ"gYZ1047a4c93c74c10f4ec77dd8f471ab22ddce069300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c