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 <<5% Dd / HOL-NanoJava:threads=2elapsed=5.788cpu=10.404gc=0.540factor=1.807zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac`}VtJ, % HOL-NanoJavapT>WNlbx*/E!cx hw_*ClEѯ>ni`8zTw0< &41{+MMV\y {*iL蝪2DB{2ËJX.`L[GPv0~o3zdF Wk 0{Wndta)+9f+˒A:1LI)M! s :3nw6h GKz2*;U(79[txkQF>n\gZRg)!?fF7j5ݜBđD>@4mS|sȌBfS^Ay0 1h5"VLq.0W 1GN˔+k웠 !Tlӵ1iB~a8/m-^5:gHuc7r<x7u gYZ7zXZִF! %W]ŗXi%#f- rCs|B=8x@8%_7)K}S^X8J93m<` #Hoe왜^6sޙJ\T5 UsBxemz3kչAS:t J_xj)bT/ +h pa[@ՃB(kgZ]ɸ($(^RCC60mz9ol2 }9Nta^ 1AeQD|v c^Q)?ho]k3B#"݅Mn r;OF 4]p]db嶼KZf5puȣ1r-A?b]Toof t8F QX(uMu>A u0DbZ"L Ap{ȵ&DuIsB+RO[o'zm8.g]Tu{,7ߩJ-3PJ]1dQM9"\Ѣ(o ;ӛǸ堥h|+6]fќc+A(B*-E+ר O*w{\Mϵg)͆^ѐDOW 4@ZVM+[Pޑ%1'Ol4TokN ~cOxY @O5F^!|WهzRR 芨V&:J6!kbn*1qzO\KJ}MѱgYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 3cd5482d336e8c16c374a9146d4678d878e6b55d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f2083076e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575